This is LaTeX code:
[latex]
\displaystyle P(A_n)=1 \Rightarrow P(A_n^c) =0
[/latex]