TeX source:
\{0,1,1,2\}