Perpendicular[punt A, recta g] : Recta perpendicular a g que passa per A
Perpendicular[punt A, vector v] : Recta perpendicular a v que passa per A
Related Topics
4.3.10 Recta