Fuente TeX:

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