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