TeX source:
t = t_0