TeX source:
2x=11