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

VII.18 Definition VII.18

A square number is equal multiplied by equal, or a number which is contained by two equal numbers.

lines 74–74 in main.tex