TeX source:
31.3