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 t

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. Not that I'd want to code MathML by hand...