TeX source:
-3+a