TeX source:
2x+(7)=18