LaTeX printing
Issue #296
new
Feature request: a LaTeX printer, at least for theories, structures, terms and queries.
Namespaces etc are not (yet) needed for me.
This will be useful when writing a paper and needing an illustrating example.
Maybe it would be more useful to offer a generic XML output of theories, structures, etc., so that people can then use their favourite tools to transform this XML into whatever they need (LaTeX, HTML, Docbook, ...). That could be a cheap way to support a number of different output formats.