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