TeX source:

(x, y) \rightarrow(x, y+3)