TeX source:
k \neq 0