TeX source:

6