TeX source:
[80,\infty)