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