Fuente TeX:

\{0^k 1^k: k>0 \}