TeX source:
\{X=x\}