From e157bcd107bdb44670b7dba735a8303b4a869e0a Mon Sep 17 00:00:00 2001
From: dobrikov <dobrikov@cs.uni-duesseldorf.de>
Date: Tue, 10 Nov 2015 13:30:33 +0100
Subject: [PATCH] Fixed typo.

---
 org.rodinp.handbook.feature/latex/reference-03.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/org.rodinp.handbook.feature/latex/reference-03.tex b/org.rodinp.handbook.feature/latex/reference-03.tex
index 83f7aae..0fe28b4 100644
--- a/org.rodinp.handbook.feature/latex/reference-03.tex
+++ b/org.rodinp.handbook.feature/latex/reference-03.tex
@@ -274,7 +274,7 @@ The following reference subsections will have the form the form: \\[2em]
     A usual pattern for quantification is $\forall x_1\ldots,x_n~\qdot~\predp_1\limp \predp_2$ where
     $\predp_1$ is used to specify the types of the identifiers.
 
-    The existential quantification $\forall x_1\ldots,x_n~\qdot~\predp$ is true if a value of $x_1\ldots,x_n$ exists such that $\predp$ is satisfied.
+    The existential quantification $\exists x_1\ldots,x_n~\qdot~\predp$ is true if a value of $x_1\ldots,x_n$ exists such that $\predp$ is satisfied.
 
     The types of all identifiers $x_1\ldots,x_n$ must be inferable by $\predp$.
     They can be referenced in $\predp$.
-- 
GitLab