TeX source:
t > 0