TeX source:
100 \,\% - 15 \,\% = 85 \,\%