TeX source:

52