Use toMathML for loading Tools
Formatting changes
Use prerender code in drag proxies