TeX source:

0.825c