chiark / gitweb /
Largeexists
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 2 Mar 2012 19:05:32 +0000 (19:05 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 2 Mar 2012 19:05:32 +0000 (19:05 +0000)
article.tex

index 3d33178..2dc644f 100644 (file)
@@ -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$}