\exists
∃
Introduced by Giuseppe Peano in Formulaire de mathematiqués (1897), from the uppercase Latin letter E. The modern variable-binding syntax first appeared in Principia Mathematica (1910).