Fuente TeX:

x='f(c_1) \models P(x)