This is LaTeX code:

[latex]
ImD\leq P_{n-1}
[/latex]