Zdroj TeX:
(x,y) \in Z \times Z^+