TeX source:
y(0)=0