TeX source:
( {8}, {5})