TeX source:
x = 0.38 \cdot 56