2 ms·
> I think a happy medium would be if you could export snippets of latex from a larger texmacs doc but I haven't actually tried it. In the TeXmacs editor Edit->
by GiovanniP 5y ago
> I think a happy medium would be if you could export snippets of latex from a larger texmacs doc but I haven't actually tried it.
In the TeXmacs editor Edit->Copy to->LaTeX (one might have to add some macro definitions in the preamble of the LaTeX document)