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.
