Fuente TeX:

1) f(p0) = p0 \break 2) f(p1) = p1 \break 3) f(\varphi \neg ) = (\neg f(\varphi)) \break 4) f(\varphi \psi \rightarrow) = ( f(\varphi) \rightarrow f(\psi))