TeX source:
-4=x