diff --git a/lib/autocorrect b/lib/autocorrect
index 98a46aa293..a1d6f31267 100644
--- a/lib/autocorrect
+++ b/lib/autocorrect
@@ -124,6 +124,17 @@
 \Leftarrow        =    \Longleftarrow
 \Longleftarrow    >    \Longleftrightarrow
 
+\leftarrow        *    \longleftarrow
+\longleftarrow    *    \longleftrightarrow
+\longleftrightarrow *  \leftarrow
+\rightarrow       *    \longrightarrow
+\longrightarrow   *    \longleftrightarrow
+
+\Leftarrow        *    \Longleftarrow
+\Longleftarrow    *    \Longleftrightarrow
+\Longleftrightarrow *  \Leftarrow
+\Rightarrow       *    \Longrightarrow
+\Longrightarrow   *    \Longleftrightarrow
 
 @                 *    \circ
 \circ             /    \varnothing