TeX source:
(4)-(9)