Fuente TeX:

G=\{a^nb^m | n,m \in \mathbb{Z} \}