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 b6b4a8c..9bfbc04 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 $ ]