Kurt Gödel in 1931 used $x\Pi a$ where we in contemporary notation would use $(\forall x) A$ or $(x)A$, and $Ex a$ where we would use $(\exists x) A$. I believe that I remember that $\Sigma xA$ has been used with the meaning $\exists x A$. Is my belief correct, and if so by what authors was $\Sigma x$ so used? What, if any, connections are there to Gödel's usage?



Was $\Sigma x$ used as quantifier?
According to [Wikipedia](http://en.wikipedia.org/wiki/Quantifier_%28logic%29),


* Charles Sanders Peirce used $\Pi\_x$, $\Sigma\_x$ in 1885;
* Guiseppe Peano used (x), $(\exists x)$ in 1897;
* Gentzen introduced $\forall x$ in 1935;
* $(\forall x)$, $(\exists x)$ became standard in the 1960s.


