more style

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 5cde60f95979741a431e1f53d3cb2aafc29c49fb..3593f3221b6647f788ac10db67f6d46673348fac 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -105,9 +105,9 @@ See ``unique base'', below.
 $ \bigforall_{D \in \py} D \isin C \equiv D \le C $.
 Informally, $C$ has the contents of $\p$.
 
-\item[ $ C \nothaspatch \p $ ]
-$ \bigforall_{D \in \py} D \not\isin C $.
-Informally, $C$ has none of the contents of $\p$.
+\item[ $\displaystyle C \nothaspatch \p $ ]
+$\displaystyle \bigforall_{D \in \py} D \not\isin C $.
+~ Informally, $C$ has none of the contents of $\p$.
 
 \end{basedescript}