5 ms·

I don't think there is any font, all letters are slightly different. It's probably manual input converted to svg.

• justanothersys 8y ago
  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.
• hajderr 8y ago
  edit: the handwriting that could be a font :)