Źródło TeX:

1\neq0