See Section 26.6.6 for perpendicular lines in the plane.
The perpendicular command can take its arguments in different ways. It returns and draws a line or plane, depending on the arguments.
perpendicular(point(0,0,0),line(point(1,0,0),point(0,1,0))) |
perpendicular(line(point(0,0,0),point(1,1,0)), plane(point(1,0,0),point(0,1,0),point(0,0,1))) |