TeX source:
(0 ,8)