TeX source:
i = k^∗ + 1 , … , n