TeX source:
(6)