Is there any translator/plugin to OMDOC (like stex for latex [http://www.mathweb.org/wiki/STeX]?
09:22