TeX source:

4.5(6.107 )