[LyX/master] Cycle through arrows with autocorrect

[Enrico Forestieri]

commit 4384ac75ffae706097f93f979c20e4080785649b
Author: Enrico Forestieri <forenr at lyx.org>
Date:   Sun Mar 19 10:26:08 2023 +0100

    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.
---
 lib/autocorrect |   11 +++++++++++
 1 files changed, 11 insertions(+), 0 deletions(-)

diff --git a/lib/autocorrect b/lib/autocorrect
index 98a46aa..a1d6f31 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