Fuente TeX:

L_1 = \lbrace{(a^ncb^{\text{n mod 2}}, a^mc) \text{ donde } m\geq n \geq 0}\rbrace