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

VII.7 Definition VII.7

An odd number is that which is not divisible into two equal parts, or that which differs by a unit from an even number.

lines 74–74 in main.tex