TeX source:
87.990