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