TeX source:

1.25 \times 0.75 = 0.9375