TeX source:
y(1)=0