IME, important papers are sometimes re-typeset using modern tooling, yielding more or less OK documents. In the worst case this is done with shoddy OCR that com

IME, important papers are sometimes re-typeset using modern tooling, yielding more or less OK documents. In the worst case this is done with shoddy OCR that completely breaks the formula. Additionally, "digitizing" in this context just means creating a digital representation - this scan counts, as would a higher resolution scan.