From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 2 Mar 2012 19:05:32 +0000 (+0000)
Subject: Largeexists
X-Git-Tag: f0.2~172
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=030848b7699003e7fa4d8d7044cb9bcf46a1af4f

Largeexists
---

diff --git a/article.tex b/article.tex
index 3d33178..2dc644f 100644
--- 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$}