This is LaTeX code:
[latex]
(y^k, y^l) \in A \times B \Leftrightarrow y^k \in A \_ \mathrm{i} \_ y^l \in B
[/latex]