TeX source:

\overline{P R} \cong \overline{S R}