TeX source:

y(x_{0})=y_{0}