This is LaTeX code:
[latex]
ab \in P \Rightarrow a \in P~ili~b \in P
[/latex]