Add `\forall` and `\exists`