TeX source:
0.85 .