TeX source:
r=7{,}5 \, m