From cb503667cf48ac0666a8a57ddc5ef8380886d4b9 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Thu, 15 Mar 2012 19:19:17 +0000 Subject: [PATCH] wording improvement --- article.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/article.tex b/article.tex index dc0ca18..ab9d645 100644 --- 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 $. -~ 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 $. -- 2.30.2