TeX source:

a_n := \frac{n^2+n}{2}