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.