TeX source:
t>0