PerpendicularLine Command
From GeoGebra Manual
- PerpendicularLine[Point, Line]
- Creates a line through the point perpendicular to the given line.
- PerpendicularLine[Point, Vector]
- Creates a line through the point perpendicular to the given vector.
Note: Also see tool Perpendicular Line.