The perpendicular bisector of a line segment

The perpendicular bisector of a line segment