Fuente TeX:

L_2 = \{x=a^s a^k b^k c^l (\#b)^l (\#b)^s: k\geq0 \wedge l>0 \wedge s>0 \}