TeX source:

2031