TeX source:
t_1%20%5Cleq%20t_2