TeX source:
18 = 2x