A logical quantifier symbol denoting the existence of at least one element satisfying a given condition.