\[RoundImplies]

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