\[NotVerticalBar]

  • Unicode: F3D1.
  • エイリアス：!|
  • 中置形演算子．
  • x y はデフォルトでNotVerticalBar[x,y]として解釈される．
  • 数学でy はx で割り切れないことを表すのに使用される．