TeX source:
(10)