If there exists an , this is written . Similarly, " does not exist" is written . is one of the two mathematical objects known as quantifiers.

The Wolfram Language expression `Exists`[*x*,
*expr*] can be used to represent the statement that there exists a value of
*x* for which *expr* is true.