chiark / gitweb /
wording improvement
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 15 Mar 2012 19:19:17 +0000 (19:19 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 15 Mar 2012 19:19:17 +0000 (19:19 +0000)
article.tex

index dc0ca18..ab9d645 100644 (file)
@@ -157,7 +157,7 @@ See Unique Base, below.
 
 \item[ $ C \haspatch \p $ ]
 $\displaystyle \bigforall_{D \in \py} D \isin C \equiv D \le C $.
-~ Informally, $C$ has the contents of $\p$.
+~ Informally, $C$ has all the reachable contents of $\p$.
 
 \item[ $ C \nothaspatch \p $ ]
 $\displaystyle \bigforall_{D \in \py} D \not\isin C $.