TeX source:
(0,0,0,0)