This is LaTeX code:
[latex]
\exists B s_b \circ s_a = s_B \circ s_A
[/latex]