From: Enrico Forestieri <forenr@lyx.org>
Date: Sun, 19 Mar 2023 08:34:01 +0000 (+0100)
Subject: Fix bug #12711
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=047008224008b2f170f1dff213d9699a6637418b;p=features.git

Fix bug #12711

Add a few missing autocorrect combinations.
---

diff --git a/lib/autocorrect b/lib/autocorrect
index a9c47e1474..98a46aa293 100644
--- a/lib/autocorrect
+++ b/lib/autocorrect
@@ -119,6 +119,10 @@
 \leftarrow        -    \longleftarrow
 \longleftarrow    >    \longleftrightarrow
 =                 >    \Rightarrow
+=                 <    \Leftarrow
+\Rightarrow       =    \Longrightarrow
+\Leftarrow        =    \Longleftarrow
+\Longleftarrow    >    \Longleftrightarrow
 
 
 @                 *    \circ