TeX source:
0 ≤ r < k