TeX source:
\triangle ABC \cong \triangle ADC