From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 4 Aug 2013 17:22:58 +0000 (+0100)
Subject: notation: fixes from paper markup of 389264b
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=f4b799f5604417c83c799c3ff513864502f5ef67

notation: fixes from paper markup of 389264b
---

diff --git a/article.tex b/article.tex
index 59ae0eb..95e71b9 100644
--- 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 929fece..b6b4a8c 100644
--- 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