This is LaTeX code:

[latex]
 
a_f\in\I_f\backslash\{\alpha\}
 
[/latex]