TeX source:
\{11\}