TeX source:

8-0.05