\[NotSucceedsSlantEqual]

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