TeX source:
0.3 = x