TeX source:
(0; 1)