\[RoundImplies]

  • Unicode: 2970.
  • x y z はx (y z)とグループ分けされる．
  • \[Superset]とは異なる．