Fuente TeX:

(x,y)\in (A\times B)\cup (C\times D)