\[NotPrecedes]

  • Unicode: 2280.
  • 中置形の比較演算子．
  • x y はデフォルトでNotPrecedes[x,y]と解釈される．