TeX source:
t > 6