TeX source:
(4, {16})