Fix bug #12711

Add a few missing autocorrect combinations.

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