TeX source:

9a