TeX source:
t < 6