TeX source:
\triangle A B C \cong \triangle A D C