\[Proportion]

  • Unicode: 2237.
  • 中缀关系运算符.
  • x y 默认情况下解释为 Proportion[x,y].
  • 过去用来表示相等性；现在用来表示比例.