commit 8872d6a54d6663c4952c7a2e5773113f30e51cbe
Author: Richard Kimberly Heck <rikih...@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
--
lyx-cvs mailing list
lyx-cvs@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-cvs
