From 030848b7699003e7fa4d8d7044cb9bcf46a1af4f Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 2 Mar 2012 19:05:32 +0000
Subject: [PATCH] Largeexists

---
 article.tex | 2 ++
 1 file changed, 2 insertions(+)

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$}
-- 
2.30.2