TeX source:

7-3