This is LaTeX code:
[latex]
m > n \Rightarrow (f \in C^m \Rightarrow f \in C^n)
[/latex]