[LyX/master] Cycle through arrows with autocorrect

[Enrico Forestieri]

On Sun, Mar 19, 2023 at 02:28:41PM -0400, Richard Kimberly Heck wrote:
> 
>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?

I don't know about any scheme. I think that we can use anything 
reasonable that resembles the result we want (and is not already taken). 
As an example, for the above symbols I would rather use
EE    V    \forall
EE    E    \exists

-- 
Enrico