TeX source:
\{-4\}