TeX source:
(6,4.13)