TeX source:
t(0)=0