TeX source:

10.79(8.12)