TeX source:
t \geq 0