mdw's bigforall

diff --git a/article.tex b/article.tex
index 3593f3221b6647f788ac10db67f6d46673348fac..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}