TeX source:

(7;7)