TeX source:
1.000 \cdot 1{,}025^x=5.000