DocumentationMathematicaThe Mathematica BookMathematica Reference GuideListing of Named Characters
NotExists
\[NotExists]
Alias: !ex. Compound operator. is by default interpreted as NotExists[x, y]. See Section 3.10.4. See also: \[Exists] , \[ForAll] .