From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 21 Mar 2012 18:17:15 +0000 (+0000)
Subject: wip exclusive haspatch - change notation to F in defn
X-Git-Tag: f0.3~31
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=ea05ce35fdb318c46be22edb918b11f85e5a2f57;p=topbloke-formulae.git

wip exclusive haspatch - change notation to F in defn
---

diff --git a/notation.tex b/notation.tex
index e5212fa..352781a 100644
--- a/notation.tex
+++ b/notation.tex
@@ -58,7 +58,7 @@ $\displaystyle \bigforall_{D \in \py} D \isin C \equiv D \le C $.
 ~ Informally, $C$ has all the reachable contents of $\p$.
 
 \item[ $ C \haspatch \p $ ]
-$\displaystyle C \zhaspatch \p \land \exists_{D \in \py} D \le C $.
+$\displaystyle C \zhaspatch \p \land \exists_{F \in \py} F \le C $.
 ~ Informally, $C$ nontrivially has all the reachable contents of $\p$.
 
 Note that $\zhaspatch$ and $\nothaspatch$ are not mutually exclusive.