Fuente TeX:
l(f ) \in I_n \subseteq I_{\overline{n}}