TeX source:

32