\[RoundImplies]

  • Unicode: 2970.
  • x y z 的分组方式为 x (y z).
  • \[Superset] 不同.