TeX source:
t\in I