TeX source:
(3;+/infty )