I.11 Proposition I.11
To draw a straight line at right angles to a given straight line from a given point on it.
Proof
Apply I.3 to mark equal segments either side of the given point, then
I.1 to erect an equilateral triangle whose apex line is perpendicular
(by I.8 and Definition I.10).
lines 74–74 in main.tex
