The routine finds the line lp which goes through point P and is perpendicular to line l.

For a detailed description of the line to be created lp, use the routine detail (e.g., detail(lp))

The command with(geometry,PerpendicularLine) allows the use of the abbreviated form of this command.

$\mathrm{with}\left(\mathrm{geometry}\right)\:$

$\mathrm{point}\left(P\,2\,3\right),\mathrm{line}\left(l\,x+y=1\,\left[x\,y\right]\right)$

$P,l$

$\mathrm{PerpendicularLine}\left(\mathrm{lp}\,P\,l\right)$

$\mathrm{lp}$

$\mathrm{detail}\left(\mathrm{lp}\right)$

$\begin{array}{ll}\text{name of the object}& \mathrm{lp}\\ \text{form of the object}& \mathrm{line2d}\\ \text{equation of the line}& 1+x-y=0\end{array}$