Direct export to TeX format

[stanislaw]

• Distantly related: https://github.com/lordqwerty/SRS-LaTeX

Also:

https://github.com/plastex/plastex

plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.