Add a few missing autocorrect combinations and allow cycling
through arrows.

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 23:40:15 +01:00
parent 61eed0305f
commit 27208273ef
2 changed files with 21 additions and 0 deletions

View File

@ -119,7 +119,25 @@
\leftarrow - \longleftarrow
\longleftarrow > \longleftrightarrow
= > \Rightarrow
= < \Leftarrow
\Rightarrow = \Longrightarrow
\Leftarrow > \Leftrightarrow
\Leftarrow = \Longleftarrow
\Longleftarrow > \Longleftrightarrow
\leftarrow * \longleftarrow
\longleftarrow * \longleftrightarrow
\longleftrightarrow * \leftrightarrow
\leftrightarrow * \leftarrow
\rightarrow * \longrightarrow
\longrightarrow * \longleftrightarrow
\Leftarrow * \Longleftarrow
\Longleftarrow * \Longleftrightarrow
\Longleftrightarrow * \Leftrightarrow
\Leftrightarrow * \Leftarrow
\Rightarrow * \Longrightarrow
\Longrightarrow * \Longleftrightarrow
@ * \circ
\circ / \varnothing

View File

@ -26,6 +26,9 @@ What's new
* USER INTERFACE
- Add a few missing autocorrect combinations and allow cycling through arrows
(bug 12711).
* DOCUMENTATION AND LOCALIZATION