latex theory.tex > tmp
latex theory.tex > tmp