TeX source:

7.236:6