TeX Quellcode:

5\neq 7