[LyX/master] Add a couple logic autocorrects

[Richard Kimberly Heck]

commit 8872d6a54d6663c4952c7a2e5773113f30e51cbe
Author: Richard Kimberly Heck <rikiheck at lyx.org>
Date:   Sun Mar 19 21:30:34 2023 -0400

    Add a couple logic autocorrects
---
 lib/autocorrect |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/lib/autocorrect b/lib/autocorrect
index 09833b4..41131e2 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