From b22e5108e8fe657eac52981917f8aae11a3ed758 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Thu, 1 Mar 2012 01:39:24 +0000 Subject: [PATCH] more style --- article.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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} -- 2.30.2