Enter a key phrases with a set of formulae schemata into the search bar (written in LaTeX with ?a, ?b, ... for query variables; they are marked in different colors in the formula preview). To add a numeric range insert \range{lower}{high} or \relrange{base}{deviation} (this adds a interval from [base - base*deviation%, base + base*deviation%]) in your search query. A formula schema in a query matches any formula in the MWS index that has an instance schema as a subformula. Query variables with the same name must be instantiated with the same formula, see the examples for inspiration. ... more