TeX source:
t < 50