TeX source:

28 \neq 19