TeX source:
4 \cdot (10+7)