notation: fixes from paper markup of 389264b

diff --git a/article.tex b/article.tex
index 59ae0eba401b1524ab74b771753d929dcbecfb5f..95e71b9a980038b4ba83c414c7c5c98c875e9140 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -73,6 +73,9 @@
 %\newcommand{\hasparents}{\underaccent{1}{>}}
 %\newcommand{\hasparents}{{%
 %  \declareslashed{}{_{_1}}{0}{-0.8}{>}\slashed{>}}}
+\newcommand{\hasparent}{>_{\mkern-7.0mu _{1}}}
+\newcommand{\isparent}{<_{\mkern-18.0mu _{1}\mkern+9.0mu}}
+
 \newcommand{\hasparents}{>_{\mkern-7.0mu _{1:}}}
 \newcommand{\areparents}{<_{\mkern-14.0mu _{1:}\mkern+5.0mu}}
 

diff --git a/notation.tex b/notation.tex
index 929fece5a77de97db101045c72db74c5c13662c6..b6b4a8cc814c01ffdb9076320796fbadfbc4bfbd 100644 (file)
--- a/notation.tex
+++ b/notation.tex
@@ -7,6 +7,9 @@ at the outermost level.
 \desclabelwidth{5em}
 \desclabelstyle{\nextlinelabel}
 }
+\item[ $ C \hasparent D $ ]
+Commit $C$ has commit $D$ as (one of) its parents.
+
 \item[ $ C \hasparents \set X $ ]
 The parents of commit $C$ are exactly the set
 $\set X$.
@@ -14,7 +17,7 @@ $\set X$.
 \item[ $ C \ge D $ ]
 $C$ is a descendant of $D$ in the git commit
 graph.  This is a partial order, namely the transitive closure of
-$ D \in \set X $ where $ C \hasparents \set X $.
+$ \hasparent $.
 
 \item[ $ C \has D $ ]
 Informally, the tree at commit $C$ contains the change