TeX source:
5\neq 7