TeX source:
1-k=0