From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 10 Aug 2013 19:25:44 +0000 (+0100)
Subject: notation: clarify >=
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=2d2f22e12e02ae46d7e1b961aaf3d43b77b943b4

notation: clarify >=
---

diff --git a/notation.tex b/notation.tex
index b6b4a8c..9bfbc04 100644
--- 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 $ ]