Fuente TeX:

\{k:k>0\}=\{k^2\}