Источник TeX:

7,5