TeX source:

4