TeX source:
a\neq -1