Input (grade 12): Two common quantifiers are the existential & exist; and universal & forall; quantifiers.
Output (grade 12): The best-known quantifiers are the existence quantifier (& exist ;/O). The other well-known quantifier is called universal quantifier (& forall ;/O).