TeX source:
A=\{0, \ldots, n+1\}