Źródło TeX:
k := k + 1,