Cycle through arrows with autocorrect

The way autocorrect is implemented it is not possible to map
--> and ==> to \longleftarrow and \Longleftarrow, respectively.
One has to type ->- and =>= to that effect, which may be
counterintuitive.

This commit allows typing -> or => followed by * to cycle through
all possible arrows of the same type.

diff --git a/lib/autocorrect b/lib/autocorrect
index 98a46aa29390e5527dc7b2343a8829d933a7b174..a1d6f31267e803848b41557eb054965d4999eec7 100644 (file)
--- 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