Add a couple logic autocorrects

diff --git a/lib/autocorrect b/lib/autocorrect
index 09833b440f84749aef4c5db864834971698c6349..41131e25641c984d47e2ebf9cf262b30052e1adb 100644 (file)
--- a/lib/autocorrect
+++ b/lib/autocorrect
@@ -350,6 +350,8 @@ EE                w    \wedge
 \curlywedgedownarrow * \wedge
 EE                v    \vee
 EE                x    \times
+EE                V    \forall
+EE                E    \exists
 
 # <***/    \nsqsubset
 # <***=    \sqsubseteq