TeX source:
x = 9 + 2 * 6