TeX source:
\{0, \pi / 4, \pi / 2, \pi\}