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.