TeX source:
[-4,0)