Fuente TeX:
\tau'\subseteq\tau