TeX source:
y(x_0) = y_0.