TeX source:
0.25 .