This is LaTeX code:

[latex]
P + Q + R = 1_V \Rightarrow P + PQ + PR = P \Rightarrow PQ = - PR
[/latex]