Close cycle and correct typo

I think that the autocorrect file needs an overhaul.

diff --git a/lib/autocorrect b/lib/autocorrect
index 35faa550849f951cb3cb8d91daf12e94c9c5afa8..4509096c249fc82b696a7d3da7dae9548b994109 100644 (file)
--- 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