TeX source:
20/3 \approx 6{,}7