TeX source:
( {4}, {7})