TeX source:
t_{j}\subseteq X