TeX source:
0.5 \times 0.5 = 0.25