sty: Abstand for \forall und \exists