\[NotExists]

  • Unicode: 2204.
  • エイリアス：!ex
  • 複合演算子．
  • はデフォルトでNotExists[x,y]として解釈される．