From 4384ac75ffae706097f93f979c20e4080785649b Mon Sep 17 00:00:00 2001 From: Enrico Forestieri Date: Sun, 19 Mar 2023 10:26:08 +0100 Subject: [PATCH] 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 file changed, 11 insertions(+) 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