TeX source:
[1.28, \infty)