TeX source:

\{Y=1\}