\[RoundImplies]

  • Unicode: 2970.
  • x y z groups as x (y z).
  • Not the same as \[Superset].

See Also

\[Implies]  \[SuchThat]  \[RightArrow]  \[Rule]  \[Superset]

Tutorials

Introduced in 1996
(3.0)