\[NotLess]

  • Unicode: 226E.
  • エイリアス：!<
  • 中置形の比較演算子．
  • x y はデフォルトでNotLess[x,y]として解釈される．
  • は全順序集合に関してに等価である．