chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
wording improvement
[topbloke-formulae.git]
/
article.tex
diff --git
a/article.tex
b/article.tex
index dc0ca18db3e09445c53e962b05e508821199b607..ab9d645f11059e3534939ece640708ed02e0cc4a 100644
(file)
--- a/
article.tex
+++ b/
article.tex
@@
-157,7
+157,7
@@
See Unique Base, below.
\item[ $ C \haspatch \p $ ]
$\displaystyle \bigforall_{D \in \py} D \isin C \equiv D \le C $.
\item[ $ C \haspatch \p $ ]
$\displaystyle \bigforall_{D \in \py} D \isin C \equiv D \le C $.
-~ Informally, $C$ has
th
e contents of $\p$.
+~ Informally, $C$ has
all the reachabl
e contents of $\p$.
\item[ $ C \nothaspatch \p $ ]
$\displaystyle \bigforall_{D \in \py} D \not\isin C $.
\item[ $ C \nothaspatch \p $ ]
$\displaystyle \bigforall_{D \in \py} D \not\isin C $.