chiark / gitweb /
notation: clarify >=
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:25:44 +0000 (20:25 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:25:44 +0000 (20:25 +0100)
notation.tex

index b6b4a8cc814c01ffdb9076320796fbadfbc4bfbd..9bfbc04fb23030607e762ec19b88f7c38f6994f3 100644 (file)
@@ -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 $ ]