TeX source:
0 .