TeX source:

5,0 *10