\[NotExists]

  • Unicode: 2204.
  • Alias: !ex.
  • Compound operator.
  • is by default interpreted as NotExists[x,y].