TeX source:
0.4 = x