\[Implies]

• Unicode: F523.

• Alias: Esc => Esc.

• 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.