TeX source:
0,123456789\;s