TeX source:
4-x+4