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

I.15 Proposition I.15

If two straight lines cut one another, they make the vertical angles equal to one another.

lines 74–74 in main.tex