At the moment, you cannot download a PDF with your highlights applied to open in other apps.
However, you can export a topic, which will include all snippets and comments saved under that topic.
📌 Note: PDF download with highlights is on our roadmap and will be added in the near future.