commit 3b1ee9216759f25583adb7fd1baa34af47f97370
Author: Enrico Forestieri <[email protected]>
Date: Mon Jun 3 11:37:15 2019 +0200
Close cycle and correct typo
I think that the autocorrect file needs an overhaul.
---
lib/autocorrect | 3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
diff --git a/lib/autocorrect b/lib/autocorrect
index 35faa55..4509096 100644
--- a/lib/autocorrect
+++ b/lib/autocorrect
@@ -24,6 +24,7 @@
\vee * \curlyvee
\curlyvee * \curlyveeuparrow
\curlyveeuparrow * \curlyveedownarrow
+\curlyveedownarrow * \vee
< / \nless
> / \ngtr
@@ -327,7 +328,7 @@ EE w \wedge
\wedge * \curlywedge
\curlywedge * \curlywedgeuparrow
\curlywedgeuparrow * \curlywedgedownarrow
-\curlywedgedownarrow * \wedges
+\curlywedgedownarrow * \wedge
EE v \vee
EE x \times
