writing Tat.tex