chiark / gitweb /
add note about non-exclusivity of \haspatch and \nothaspatch
[topbloke-formulae.git] / notation.tex
index 1e19122..2f310bd 100644 (file)
@@ -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