TeX source:
k \ne j