Fuente TeX:

\{(a^{3k},b^k): k>0\}