This is LaTeX code:

[latex]
 
P = A \cap P' \neq \emptyset
 
[/latex]