TeX source:
U[a, \infty)