TeX source:

\{5,17\}