existential quantifier

logic a formal device, for which the conventional symbol is ∃, which indicates that the open sentence that follows is true of at least one member of the relevant universe of interpretation, as (∃ x ) Fx meaning "something is (an) F," "something Fs," or "there are (some) Fs."