4 ms·

Yes, using https://goodnotes.com https://goodnotes.com, with a bit of post-processing for minification.

• mkl 8y ago
  That link doesn't work for me, but https://www.goodnotes.com/ https://www.goodnotes.com/ does. An iOS only app. It does OCR, but I suppose that information doesn't get exported.
  • archagon 8y ago
    Actually, I believe the OCR information persists as an invisible layer when you export to PDF.