From: Enrico Forestieri <forenr@lyx.org>
Date: Mon, 3 Jun 2019 09:37:15 +0000 (+0200)
Subject: Close cycle and correct typo
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=707e980c7e3873958ad0486fb3f35d71fbcea25c;p=features.git

Close cycle and correct typo

I think that the autocorrect file needs an overhaul.
---

diff --git a/lib/autocorrect b/lib/autocorrect
index 35faa55084..4509096c24 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