strategy: define W in Notation

[topbloke-formulae.git] / notation.tex

diff --git a/notation.tex b/notation.tex
index b6b4a8cc814c01ffdb9076320796fbadfbc4bfbd..9bfbc04fb23030607e762ec19b88f7c38f6994f3 100644 (file)
--- a/notation.tex
+++ b/notation.tex
@@ -16,7 +16,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
+graph (or $C=D$).  This is a partial order, namely the transitive closure of
 $ \hasparent $.
 
 \item[ $ C \has D $ ]