\[RoundImplies]

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