Fuente TeX:

M \models (\forall x)(P_{1} ( f_{2}(x) ) ) \rightarrow (\exists x)(P_{2}(y) \wedge P_{3}(x,y))