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

V.15 Definition V.15

Separation of a ratio means taking the excess by which the antecedent exceeds the consequent in relation to the consequent by itself.

lines 74–74 in main.tex