TeX source:
0.2-0=0.2