TeX source:
a_{n}=12-7(n-1)