Source — Euclid's Elements, encoded as an rrxiv paper

III.5 Definition III.5

And that straight line is said to be at a greater distance on which the greater perpendicular falls.

lines 74–74 in main.tex