tp.tex compilable