Create pro.tex