TeX Quellcode:

16\neq 8