TeX source:
K = {1, 2, 3, ...., \nu}