This is LaTeX code:
[latex]
\forall y:\ y \in f(A \cup B) \Rightarrow y \in f(A) \cup f(B)
[/latex]