TeX source:

8 .