TeX source:
1\leq k\leq K