Existential Quantifier

$\exists$

an abbreviation for $\neg (\forall X.\neg \mathrm{A})$