How to use a Wiki

Hit “edit page” to see how pages are coded. Use the Sandbox to warm up.

Creating a new page is done by

• first creating a preliminary link (represented by a question mark) by entering double square brackets;

• then clicking on the question mark and following the instructions.

Watch out: the name of a page is case sensitive. We need to agree on how to deal with this.

How to contribute to the $n$Lab

We’ll have to see where this is going. To be on the safe side, it’s maybe best to create a single page for each “keyword”.