TeX source:

33 / 7