TeX source:

3\neq 14