TeX source:

L=\{a^{n}b^{n}|n>0\}