TeX source:
[0 \, ; \, 2\pi[