TeX source:
2 \cdot 7.5=15