TeX source:

T_1=T_3