TeX source:
8x + 3x