Perpendicular bisector of a line