TeX source:
587.3