chiark / gitweb /
notation: fixes from paper markup of 389264b
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Aug 2013 17:22:58 +0000 (18:22 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Aug 2013 17:22:58 +0000 (18:22 +0100)
article.tex
notation.tex

index 59ae0eb..95e71b9 100644 (file)
@@ -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}}
 
index 929fece..b6b4a8c 100644 (file)
@@ -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