TeX Quellcode:
1-k\neq 0