This is LaTeX code:

[latex]
 
X \in P(A) \Rightarrow X \subseteq A \Rightarrow X \subseteq A \cup B \Rightarrow X \in P(A \cup B)
 
[/latex]