Blue note for finding formula schemata.
The papers about MathWebSearch
The MathWebSearch Manual
user interface to present error output