TeX source:
t= 0