chiark / gitweb /
more style
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Mar 2012 01:39:24 +0000 (01:39 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Mar 2012 01:39:24 +0000 (01:39 +0000)
article.tex

index 5cde60f..3593f32 100644 (file)
@@ -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}