Fuente TeX:

\left[ a^n b^n(a|b)* , b(a|b)* \right]