TeX source:

(-\infty, a]