TeX source:
y(x_1)=y_1