TeX source:
t=t_0