TeX source:
a_2−a_1