TeX source:

a.