Źródło TeX:

a\neq 1