Fuente TeX:

\mathcal{M}_2 \models (\exists x) x =' x \text{ y } \mathcal{M}_2 \not\models (\exists x) t_1 =' x