Fuente TeX:
x='f(f(c_1)) \models P(x)