TeX source:
(x, y_1)