This is LaTeX code:
[latex]
n=n-1+dim \pi' - dim(W_1 \cap W_2) +1 \Rightarrow
[/latex]