TeX source:
y(1)\neq 0