TeX source:

-512