TeX source:
y(0)