Amend 4384ac75

diff --git a/lib/autocorrect b/lib/autocorrect
index a1d6f31267e803848b41557eb054965d4999eec7..09833b440f84749aef4c5db864834971698c6349 100644 (file)
--- a/lib/autocorrect
+++ b/lib/autocorrect
@@ -121,18 +121,21 @@
 =                 >    \Rightarrow
 =                 <    \Leftarrow
 \Rightarrow       =    \Longrightarrow
+\Leftarrow        >    \Leftrightarrow
 \Leftarrow        =    \Longleftarrow
 \Longleftarrow    >    \Longleftrightarrow
 
 \leftarrow        *    \longleftarrow
 \longleftarrow    *    \longleftrightarrow
-\longleftrightarrow *  \leftarrow
+\longleftrightarrow *  \leftrightarrow
+\leftrightarrow   *    \leftarrow
 \rightarrow       *    \longrightarrow
 \longrightarrow   *    \longleftrightarrow
 
 \Leftarrow        *    \Longleftarrow
 \Longleftarrow    *    \Longleftrightarrow
-\Longleftrightarrow *  \Leftarrow
+\Longleftrightarrow *  \Leftrightarrow
+\Leftrightarrow   *    \Leftarrow
 \Rightarrow       *    \Longrightarrow
 \Longrightarrow   *    \Longleftrightarrow