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
