TeX source:
-7.062