Existential quantifier

A logical operation used in forming statements with the expression "for a certain x" ( "an x exists for which", "there exists an x such that" ). In formalized languages, existential quantifiers are denoted by \$\exists x\$, \$(\exists x)\$, \$\cup_x\$, \$\vee_x\$, \$\Sigma_x\$.