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