Auto-conversion of "->" to arrow →

I will be happy if there is an auto-conversion feature of arrow characters.

E.g.

  • Typing “->” : to “→”
  • Typing “=>” : to " ⇒"
  • Typing “<->” : to “↔”
  • Typing “^-” : to “↑”

Except for the last one those actually already exist, the issue is you need to use two dashes/equals, e.g. --> or <==>.

1 Like

aah, thank you for the information!