From 2d2f22e12e02ae46d7e1b961aaf3d43b77b943b4 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sat, 10 Aug 2013 20:25:44 +0100 Subject: [PATCH] notation: clarify >= --- notation.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 $ ] -- 2.30.2