The existential quantifier is \(\exists\) and is read “there exists” or “there is.” For example,

\begin{equation*} \exists x (x \lt 0) \end{equation*}

asserts that there is a number less than 0.