This is LaTeX code:

[latex]
 
W_2 \subseteq W_1 \Rightarrow \pi \parallel \pi'
 
[/latex]