This Search facility will provide a means to search for sections and
formulas in the Digital Library of Mathematical Functions
according to keywords provided by the user.
It will also find definitions and relevant notations that are incorporated
into the index.
See the description of the Index facility for
more details.