TeX source:
β_9