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