TeX source:
1-0.75=0.25