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

I.27 Proposition I.27

If a straight line falling on two straight lines make the alternate angles equal to one another, the straight lines will be parallel to one another.

lines 74–74 in main.tex