TeX source:

4 .