It's possible to export your theory page in a few different formats.
To do so, click on the Export tab above the toolbar. You will now see four buttons:
- PDF: Exports your theory page in PDF format
- LaTeX: Exports your theory page in .latex format
- MS Word: Exports your theory page in Word format
- ePub: Exports your theory page in ePub format