Perpendicular bisector of a segment