diff --git a/lib/autocorrect b/lib/autocorrect index a9c47e1474..09833b440f 100644 --- a/lib/autocorrect +++ b/lib/autocorrect @@ -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 diff --git a/status.23x b/status.23x index 4e48ecfbc0..03bc8dafc9 100644 --- a/status.23x +++ b/status.23x @@ -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