Forum Moderators: open
What are the odds, that this will ever happen? Any ideas how to do this? Any tipps how to search for such things today?
BTW: Even if you put the query in quotes, things like braces are ignored.
MathML was specially designed to make mathematics equations searchable. But with its current schizophreny of presentational vs. semantic notation, this goal does not seem to be achieved nowhere in the near future. This is work in progress and a fast moving target if you are trying to write math for the web.
For your purposes you would need a search engine capable of indexing semantic MathML. I don't know of any one around.