This is LaTeX code:
[latex]
F\in\ker\varphi\iff f | F \iff F\in (f)=I
[/latex]