TeX source:
0.25⋅15=3.75