Existential quantifier

The symbolic logic notation used to make claims about the existence of at least one object ina domain of discourse. The notation ∃ followed by a variable is used to symbolize ordinary language expressions such as, “There is something,” “There is at least one thing,” and“Something is.”