Fuente TeX:
\varphi \in FORM, x \in Var, t \in TERM