Existence quantifier
In general, a statement of the form  is true if there is an x in the universe of discourse satisfying the predicate , and is false otherwise. An existence quantifier is different from a universal quantifier, which is used to state that a proposition is true for all elements in the universe of discourse.