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

XI.27 Definition XI.27

An icosahedron is a solid figure contained by twenty equal and equilateral triangles.

lines 74–74 in main.tex