From 3b1ee9216759f25583adb7fd1baa34af47f97370 Mon Sep 17 00:00:00 2001
From: Enrico Forestieri <forenr@lyx.org>
Date: Mon, 3 Jun 2019 11:37:15 +0200
Subject: [PATCH] Close cycle and correct typo

I think that the autocorrect file needs an overhaul.
---
 lib/autocorrect | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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