TeX source:
t > 50