TeX source:
5=-1