TeX source:
A=\{3\}