Fuente TeX:
\{p_o\} \vdash p_1 \to p_1