TeX source:

7