TeX source:
100\,\%-20\,\%=80\,\%