This is LaTeX code:
[latex]
\exists C s_d \circ s_c = s_C \circ s_B
[/latex]