This is LaTeX code:
[latex]
AB = C \Leftrightarrow A(BE_1 E_2 \ldots E_k) = CE_1 E_2 \ldots E_k
[/latex]