TeX source:
\{5\}