TeX source:
(x, y) \rightarrow(x, y+3)