Perpendicular bisector of a line construction