This is LaTeX code:
[latex]
H(fact(y),y) = mult(fact(y),y+1) = mult(I^2_1(fact(y),y),S_c(I^2_2(fact(y),y)))
[/latex]