A straight line is at right angles to a plane when it makes right angles with all the straight lines which meet it and are in the plane.
lines 74–74 in main.tex