Zdroj TeX:
\small (x,x)∈\mathbb Z \times \mathbb Z^+