Zdroj TeX:

(x,x)∈N×N