This is LaTeX code:

[latex]
dim(W_1 \cap W_2) = dim \pi' = dim W_2 \Rightarrow
[/latex]