Fuente TeX:
\forall (a,b)\in A\times B