TeX source:
0 \cdot 3{,}9+5{,}7