[LyX/master] Cycle through arrows with autocorrect

[Richard Kimberly Heck]

Somehow, I had completely missed that this exists. It's super useful! Is 
it ok to add things, like:
EE    f    \forall
EE    x    \exists
that I'd find useful? Or is there some scheme here such that I should 
ask about such things first?

Riki


On 3/19/23 04:43, Enrico Forestieri wrote:
> 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


-- 
----------------------------
Richard Kimberly (Riki) Heck
Professor of Philosophy
Brown University

Pronouns: they/them/their

Website:         http://rkheck.frege.org/
Blog:            http://rikiheck.blogspot.com/
Amazon:          http://amazon.com/author/richardgheckjr
Google Scholar:  https://scholar.google.com/citations?user=QUKBG6EAAAAJ
ORCID:           http://orcid.org/0000-0002-2961-2663
Research Gate:   https://www.researchgate.net/profile/Richard_Heck