TeX source:

3.2172