TeX source:
t\ge0