X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=notation.tex;h=2f310bd612d6437700709b3b6d2b9a524f5a20f2;hp=1e19122ba76b77fa887775e9bad8827ac28fa9a6;hb=a8c0dda901340bdd4fb4ca3464f0572c0cab3bd4;hpb=26a840c1b223aa5b9d9fd1dc9e7c1922c87cf5f5;ds=sidebyside

diff --git a/notation.tex b/notation.tex
index 1e19122..2f310bd 100644
--- a/notation.tex
+++ b/notation.tex
@@ -57,6 +57,8 @@ $\displaystyle \bigforall_{D \in \py} D \isin C \equiv D \le C $.
 $\displaystyle \bigforall_{D \in \py} D \not\isin C $.
 ~ Informally, $C$ has none of the contents of $\p$.
 
+Note that $\haspatch$ and $\nothaspatch$ are not mutually exclusive.
+
 Commits on Non-Topbloke branches are $\nothaspatch \p$ for all $\p$.  This
 includes commits on plain git branches made by applying a Topbloke
 patch.  If a Topbloke