TeX source:

(−∞,k]