TeX source:
y(0)=-1