Anonymous function syntax

[Alix Pexton]

What are the pros and cons of using "=>" rather than "->"?

In an ideal world we might be able to use the correct "rightwards arrow 
from bar" character (u+21A6), but I'm not suggesting we try to make one 
out of the characters we can type ("|->" looks terrible).

To my mind, "->" is somewhat closer to being mathematically correct, 
while "=>" reads as "implies", which is probably why lambdas in other 
languages have confused me.

Is there a lexical justification for choosing "=>" over "->"?

A...