Create TSAdefinitions.tex