LaTeX Features Packages Conversion Requirements

To determine which tool is best suited for converting OLP to other formats (esp ebook), it's crucial to determine a) which tools support how may of the packages OLP uses and b) how easy/hard it would be to expand these tools to cover the functionality needed

Some features of the OLP will be most easily dealt with by pre-processing. For instance, instead of fiddling with a conversion tool to dal with `!A` for formulas, replace these by, e.g., `\formula{A}` or directly by the output token, e.g., `A` or `\phi`. The same goes for `!!{formula}`` etc.

LaTeX Packages Used/Supported

Package	Purpose	LatexML	HeVeA	Pandoc	Remarks
amssymb	various math symbols, fonts	?	?	?
amsmath	math environments, e.g., align, cases	?	?	?
bussproofs	typeset proof trees	?	?	?	proofs.sty could be an alternative.
xparse	make new commands with flexible optional arguments	?	?	?	only needs \DeclareDocumentCommand
etoolbox	tags and tag processing in sty/o-l-selective.sty	?	?	?	needs etoolbox's toggles and docsvlist commands only
verbatim	supress text selectively	?	?	?
cleverref	add "Theorem" etc to references	?	?	?	poorman option generates sed script that can be used for preprocessing if not supported
thmtools	defines theorem envs and works nicely with cleverref	?	?	?	low priority; cleverref names can be hand-coded
natbib	bibliographic references	?	?	?	not yet used. support may influence choice.
biblatex	bibliographic references	?	?	?	not yet used. support may influence choice.
subfiles	importing texts, allowing sections to be easily compiled alone	?	?	?