TeX source:

k\neq0