Write Unicode Arrows → by shortcuts

[reox]

Is your feature request related to a problem? Please describe.

Some texteditors create unicode arrows when certain characters are written. For example -> creates →.
Especially for deck, which uses the text editor, it would be a great enhancement, as I often use arrows to quickly describe things.

Describe the solution you'd like
Some combinations of characters should automatically be converted into unicode arrows, for example:

ASCII	Unicode
->	→
<-	←
<->	↔
=>	⇒
<=	⇐
<=>	⇔
-->	⟶
<--	⟵
<-->	⟷

Of course, there are many more, see https://en.wikipedia.org/wiki/Arrows_(Unicode_block) and https://en.wikipedia.org/wiki/Supplemental_Arrows-A - but not all of them are useful and/or can easily be detected in ASCII.

Describe alternatives you've considered
Some soft-keyboards allow to insert unicode symbols.

The Emoji picker has several arrows (:arrow_* ), however these are the Emoji styles, where I would like the base variants.

Additional context
The Emoji insertion could be used, for example when a colon is typed, the emoji picker pops up. It could be used as well, either by providing names for these arrows or by adding the ascii sequences.

[juliusknorr]

I think this is a nice suggestion.

https://tiptap.dev/api/extensions/typography could be used for that. Maybe there is a way to extend this with more options, otherwise this may need upstream contributions as not all your suggestions are there.