TeX source:

727 - 532