TeX source:
-5+2