\[NotGreater]

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