TeX source:
(0, 5.5)