TeX source:
\{1,3\}