TeX source:

5 /7