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

VII.1 Definition VII.1

A unit is that by virtue of which each of the things that exist is called one.

lines 74–74 in main.tex