Perpendicular bisector of a line segment