estagio:
        (lhs2TeX estagio.lhs > estagio.tex; "/usr/local/gwTeX/bin/powerpc-apple-darwin-current/pdflatex" estagio.tex; open estagio.pdf)