Largeexists

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 3d331786a158e419dd13ee583f7446e8859b1b71..2dc644fc140c32fc9f59552bb70cbb1ec5ac72e7 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -59,6 +59,8 @@
     {\hbox{\scriptsize$\forall$}}}%
 }
 
+\newcommand{\Largeexists}{\mathop{\hbox{\Large$\exists$}}}
+\newcommand{\Largenexists}{\mathop{\hbox{\Large$\nexists$}}}
 
 \newcommand{\qed}{\square}
 \newcommand{\proof}[1]{{\it Proof.} #1 $\qed$}