TeX source:

42