Swing a circle around point P on baseline, the radius is arbitrary
Swing intersecting arcs from A and B above and below the baseline (3.2.39 Bisection)
Connect the intersections to erect the perpendicular of the baseline at point P