> However, I would not say that it is easy. Someone has to compile a
> table of "abbreviations", and this can involve quite a lot of work,
> especially if we want to have a good, consistent naming convention.
Another option of course is to ask Emacs to display \ as λ and -> as →.
This is already supported by Haskell-mode, SML-mode, tuareg-mode.
Stefan