TeX source:
16\neq 8