Fuente TeX:
(\forall x_1) x_1 =' x_1