MathMLCan MathMLCan is a tool which performs canonicalization of mathematical expressions written in MathML (Mathematical Markup Language). See wiki for more information.