TeX source:

7 mm