\[SucceedsSlantEqual]

  • Unicode: 227D.
  • 中置形の比較演算子.
  • x y はデフォルトでSucceedsSlantEqual[x,y]として解釈される.