TeX source:

83