chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
624f316
)
wip exclusive haspatch - change notation to F in defn
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Wed, 21 Mar 2012 18:17:15 +0000
(18:17 +0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Wed, 21 Mar 2012 18:17:15 +0000
(18:17 +0000)
notation.tex
patch
|
blob
|
history
diff --git
a/notation.tex
b/notation.tex
index e5212fa43804240793e060e44f381fb7e8f8ef9b..352781a8202a1799fad747d827a416fd5e3ed23f 100644
(file)
--- 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.