See section 12.7.10 for perpendicular bisectors in the plane.
The perpen_bisector command takes as argument a segment or two points.
perpen_bisector returns and draws the perpendicular bisector plane of the segment.
Input:
or:
Output: