\[NotElement]

  • Unicode: 2209.
  • Aliases: !el, !elem.
  • Infix set relation operator with built‐in evaluation rules.
  • x y is by default interpreted as NotElement[x,y].