\[NotExists]
• Alias: !ex.
• Compound operator.
• is by default interpreted as NotExists[x, y].
• See Section 3.10.4.
• See also: \[Exists] , \[ForAll] .