Add a couple logic autocorrects

2024-11-22 01:59:02 +00:00 · 2023-03-19 21:30:34 -04:00 · 2023-03-19 21:30:34 -04:00 · 8872d6a54d
commit 8872d6a54d
parent e050d8cfe4
1 changed files with 2 additions and 0 deletions
--- 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