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

V.14 Definition V.14

Composition of a ratio means taking the antecedent together with the consequent as one in relation to the consequent by itself.

lines 74–74 in main.tex