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.
This commit is contained in:
Enrico Forestieri 2023-03-19 10:26:08 +01:00
parent 0470082240
commit 4384ac75ff

View File

@ -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