strategy: define W in Notation

[topbloke-formulae.git] / notation.tex

diff --git a/notation.tex b/notation.tex
index 929fece5a77de97db101045c72db74c5c13662c6..9bfbc04fb23030607e762ec19b88f7c38f6994f3 100644 (file)
--- a/notation.tex
+++ b/notation.tex
@@ -7,14 +7,17 @@ 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$.
 
 \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 $.
+graph (or $C=D$).  This is a partial order, namely the transitive closure of
+$ \hasparent $.
 
 \item[ $ C \has D $ ]
 Informally, the tree at commit $C$ contains the change