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

III.4 Definition III.4

In a circle, straight lines are said to be equally distant from the centre when the perpendiculars drawn to them from the centre are equal.

lines 74–74 in main.tex