TeX source:

0.900c