TeX source:
\dfrac{1}{10} = 0{,}1