Existential quantifier
A quantifier, denoted
\begin{equation*} \exists x \>\> P(x), \end{equation*}and read
“there exists \(x\) such that \(P(x)\)”
or
“for some \(x\), \(P(x)\)”,
where \(P\) is the predicate that is
quantified.
(Levin 2021, sec. 0.2)