We add a conversion table that converts MediaWiki specific
markup to standard LaTeX. This approach is more or less
maitenance free, and relies on the existence some special
macros mostly originating from amsmath and amsfonts package.
In the future one could expand the macros with semantic annotation
like for instance that $\\mathbb{R}$ stands for the semantic
concept reals, if it was produced using the texvc macro $\\reals$.
