Fuente TeX:
( \forall x) ( \forall y)