From: Richard Kimberly Heck <rikiheck@lyx.org>
Date: Mon, 20 Mar 2023 01:30:34 +0000 (-0400)
Subject: Add a couple logic autocorrects
X-Git-Tag: 2.4-beta3~155
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=8872d6a54d6663c4952c7a2e5773113f30e51cbe;p=lyx.git

Add a couple logic autocorrects
---

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