TeX source:

0.7-0.4=0.3