mdw's bigforall

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 5cde60f95979741a431e1f53d3cb2aafc29c49fb..3512d9c5418954713d1ea10b36c82c829ce29308 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -46,7 +46,14 @@
 
 \newcommand{\eqn}[2]{ #2 \tag*{\mbox{#1}} }
 
-\newcommand{\bigforall}{\mathop{\hbox{\huge$\forall$}}}
+%\newcommand{\bigforall}{\mathop{\hbox{\huge$\forall$}}}
+\newcommand{\bigforall}{%
+  \mathop{\mathchoice%
+    {\hbox{\huge$\forall$}}%
+    {\hbox{\Large$\forall$}}%
+    {\hbox{\normalsize$\forall$}}%
+    {\hbox{\scriptsize$\forall$}}}%
+}
 
 \begin{document}
 
@@ -105,9 +112,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}