TeX source:
1-0.07=0.93