I did some preliminary investigation of this, and it seems that Mediawiki does not do a great job at this. We're not yet relying on Mediawiki for this, but we might want to; the Mediawiki to Latex idea Karl mentioned isn't bad; it's discussed here: https://www.mediawiki.org/wiki/Topic:Smps6smbiux2vu7x
Putting this, and the list from Cecilia&Regina, into the Feature Requests page.
Note that the "mediawiki2latex" thing they're referring to in the third link (the discussion) is this project -- here's its Git repository, wiki, and manual.
This is related to issue #9, but I made this a separate ticket because it would require both separate evaluation and a separate technical approach.
Jeff said:
Note that the "mediawiki2latex" thing they're referring to in the third link (the discussion) is this project -- here's its Git repository, wiki, and manual.
This is related to issue #9, but I made this a separate ticket because it would require both separate evaluation and a separate technical approach.