TeX source:
72{,}3\,\%