TeX source:
B=\{X=x\}