Zdroj TeX:

(x,x)∈Z×N