TeX source:
t \geq t_s