Fuente TeX:

\{(a^k,a^pb^k): p>0 \wedge k>0\}