\[Implies]

See Also

\[RoundImplies]  \[SuchThat]  \[RightArrow]  \[Rule]  \[DoubleRightArrow]

Tutorials

Introduced in 1996
(3.0)