This is LaTeX code:

[latex]
 
p_1 = p_2 \implies q_1 = q_2
 
[/latex]