TeX source:
25\times 4 = 10\times x