Arrow to arrow

Maybe a small, inconsequential feature request, but:

Could I request that typing "->" be automatically converted into "⇾", like many other tools out there do?

(And similar small touches)