A naturality lemma

You can type your query in the input box, click "Search" to start the search, and click "Clear" to clear the page.

The search happens on the current page. If you want to extend it, navigate the book upwards. A search on the root note will search the whole book.

Once the search is completed, matches will be highlighted and nodes with no matches will be folded. You can expand them by clicking.

Multiple terms are allowed in the query and the default behaviour is ORing them. You can AND terms making them mandatory, see +foo below.

*foo, f*o, and fo* are all allowed wildcards.

+foo makes a term mandatory, while -foo makes a term forbidden.

foo~n fuzzy matches within edit distance n (a positive number) from the term.

Note that the URL changes after a search. You can copy and paste it to share your search results. They will be displayed immediately upon visiting the URL.