Thanks a lot! No there'll definitely be export options. As of now there's only a beta version of exporting as a PDF, but LaTeX/Markdown is on the cards. Probably LaTeX so that we can just replace the PDF generation as well.