TeX source:
a_6