Sounds like it could be useful. Of course, it would be infinitely more useful if researchers were using a semantic markup language (perhaps Content MathML) so that equations with the same meaning could be discovered regardless of the actual symbols used.<p>Not that I'd want to code MathML by hand...