TeX source:

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