\[Implies]

Unicode: F523.
Alias: =>.
Infix operator with built‐in evaluation rules.
x y is by default interpreted as Implies[x,y].
x y z groups as x (y z).
Not the same as \[DoubleRightArrow].
\[DoubleRightArrow] is extensible; \[Implies] is not.

Top