\[NotLeftTriangleBar]

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