Open in CoCalc
hartnotes.dvi
(We do not have a way to display this file.)