TeX source:
25c