• Alias: =>. • Infix operator with built-in evaluation rules. • xy is by default interpreted as Implies[x,y]. • xyz groups as x(yz). • Not the same as \[DoubleRightArrow]. • \[DoubleRightArrow] is extensible; \[Implies] is not. • See also: \[RoundImplies] , \[SuchThat] , \[RightArrow] , \[Rule] .
\[Implies]
=>
y is by default interpreted as Implies[x, y]. 
y 
z groups as x 
(y 
z). 