Two segments are congruent segments if both have the same length. In a diagram, congruent segments are usually indicated by the same number of ticks. The symbol $\cong$ is used to express algebraically that two segments are congruent. Therefore, if $AB=CD,$ then $\overline{AB}\cong \overline{CD}.$