Update TSAdefinitions.tex