TeX source:
(0, {7})