Fuente TeX:

X - \phi \subset X