Fuente TeX:

L_2 = \{(ab)^m c^n: m \geq 0 \wedge n \geq 0\}