TeX source:
0,00025\;A