Logical quantifier
In 1885, Charles Sanders Peirce and his student Oscar Howard Mitchell also created a notation for universal and existential quantifiers. They wrote Πx and Σx where we now write ∀x and ∃x. Pierce's notation was used by many mathematicians into the 1950s.