The "perpendicular bisector" of the line segment \overline{AB}(The backslash then over line with the {AB} means that there's a line over AB) is the line that passes through the midpoint of \overline{AB} and is perpendicular to \overline{AB}.