quantifier

Symbols that express “for all” ($\forall$) or “there exists” ($\exists$).