TeX source:
0,000012345