TeX source:

\{0,1,2,3\}