TeX source:
0.750c