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