TeX source:
k≠0