Existential Quantifier

The assertion that for some values of a variable \(x\) a logical statement \(y\) is true. Written as
\[ \exists \; x \; y \]