TeX source:
a_n=2^n.