TeX source:
(7;7)