See Section 24.6.10 for perpendicular bisectors in the plane.
The perpen_bisector command finds the perpendicular bisector plane of a line segment.
or: