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

V.9 Definition V.9

When three magnitudes are proportional, the first is said to have to the third the duplicate ratio of that which it has to the second.

lines 74–74 in main.tex