Universal quantifier ($\forall$)

Existential quantifier ($\exists$)

Negation operator ($\neg$)

Implication operator ($\implies$)