Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
For those interested in exporting nLab pages to LaTeX documents, Jacques Distler has put together a script to convert any SVG pictures to PDF (which can then be included via \includegraphics
or other means). The full story can be found on his blog. Of particular note is the fact that this was actually used for a recent paper.
Perhaps there should be something on the HowTo about exporting to LaTeX?
1 to 2 of 2