\[NotElement]

  • Unicode: 2209.
  • エイリアス:!el!elem
  • 評価規則組込みの中置形の集合関係演算子.
  • x y はデフォルトでNotElement[x,y]として解釈される.