TeX source:
4ab \neq 2ab