TeX source:
(3.9)(4.075)