Update TIPE.tex