You can just configure your editor to figure out when \x y -> x + y is equal to λx y→x+y and replace the symbols as appropriate. I have Emacs set up to do this

You can just configure your editor to figure out when \x y -> x + y is equal to λx y→x+y and replace the symbols as appropriate. I have Emacs set up to do this for Haskell, so I really have the best of both worlds (mostly): I can type the former expression but it looks like that latter.