Fuente TeX:
(t_1 =' t_2)