From 8872d6a54d6663c4952c7a2e5773113f30e51cbe Mon Sep 17 00:00:00 2001
From: Richard Kimberly Heck <rikiheck@lyx.org>
Date: Sun, 19 Mar 2023 21:30:34 -0400
Subject: [PATCH] Add a couple logic autocorrects

---
 lib/autocorrect | 2 ++
 1 file changed, 2 insertions(+)

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