Allow `\to` or `\mapsto` for `->` in anonymous functions

[guberger]

I think it would help to have cleaner code if we could write

map!(x \to x^2, A) # where \to is replaced by its symbol

instead of

map!(x -> x^2, A)

[adienes]

not sure about this. there are a lot of arrow-like unicode characters. what about \longmapsto and \longrightarrow ? should ALL of them mean -> ?

[guberger]

I would say only \to or \mapsto according to the one we choose.

[barucden]

What are some benefits over sticking to -> and using a font to one's liking (for example, this Discourse topic discusses Fira Code)?