Fuente TeX:

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