TeX source:

4 \cdot 17