From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 1 Mar 2012 01:39:24 +0000 (+0000)
Subject: more style
X-Git-Tag: f0.2~192
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=b22e5108e8fe657eac52981917f8aae11a3ed758;p=topbloke-formulae.git

more style
---

diff --git a/article.tex b/article.tex
index 5cde60f..3593f32 100644
--- 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}