TeX source:
P = {1, 2, 3, ...., p}