When type <> it shows:
But what I want is exactly a “<>”
How to implement it?
Thanks!!!
When type <> it shows:
But what I want is exactly a “<>”
How to implement it?
Thanks!!!
Sadly, this no longer works as of 1.8.19. I reported it as a bug, so now we wait.
Typing <x>
, then left, backspace to delete the x
still works for me (Windows, v1.8.22).
I’ve also asked to implement Ctrl + Z to undo such auto transformations in general, but it’s not implemented yet.