diff --git a/lib/autocorrect b/lib/autocorrect
index 09833b440f..41131e2564 100644
--- 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