mirror: notes/129.tex ./mirror