\[NotSucceeds]

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