TeX source:

7 / 18