a script in Python to convert from LaTeX to wiki format