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

V.12 Definition V.12

Alternate ratio means taking the antecedent in relation to the antecedent and the consequent in relation to the consequent.

lines 74–74 in main.tex