Fwiw- my experience has been that pdf files faithfully recreate (if that's the right word) the fonts in the original document. RG
Thank you for that!