Two common quantifiers are the existential & exist ; and universal & forall ; quantifiers .

The best-known quantifiers are the existence quantifier -LRB- & exist ;-RRB- . The other well-known quantifier is called universal quantifier -LRB- & forall ;-RRB- .
