Source TeX:

I_0=\emptyset