TeX source:
t\geq0