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

III.3 Definition III.3

Circles are said to touch one another which, meeting one another, do not cut one another.

lines 74–74 in main.tex