Definition:Universal Quantifier/Historical Note

Historical Note on Universal Quantifier
The symbol $\forall$ for the universal quantifier was first used by in.

He invented it in analogy with the existential quantifier symbol $\exists$ which he borrowed from.

himself used the notation $\paren x$ for for all $x$. See his.