From 047008224008b2f170f1dff213d9699a6637418b Mon Sep 17 00:00:00 2001
From: Enrico Forestieri <forenr@lyx.org>
Date: Sun, 19 Mar 2023 09:34:01 +0100
Subject: [PATCH] Fix bug #12711

Add a few missing autocorrect combinations.
---
 lib/autocorrect | 4 ++++
 1 file changed, 4 insertions(+)

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
-- 
2.39.5