Homotopy Type Theory
Editing set

Markdown+itex2MML formatting tips (basics, extended syntax, metadata, theorems)

For a complete list of LaTeX commands supported here, see the itex2MML Commands Summary.

_your text_your text
**your text**your text
`my code`my code
* Bulleted list
* Second item
• Bulleted list
• Second item
1. Numbered list
1. Second item
1. Numbered list
2. Second item
Definition list
: is useful
Definition list
is useful
[link name](URL)link name
![Alt text](URL)Image
## Header ##
### Subheader ###
#### Subsubhead####
##### Etc. #####
Header
Subheader
Subsubhead
Etc.
***Horizontal rule
Some text[^fine] here.
[^fine]: The fine print.
A footnote
*[LA]: Los Angeles
*[ppm]: parts per million
Abbreviations


For non-trivial edits, please briefly describe your changes below. Your comments will be added to the nForum discussion thread for this page, which can also be used for further discussion related to it. For trivial edits, such as correcting typos, please leave the box below empty; feel free to ask for advice at the nForum if you are unsure.

as | Cancel (unlocks page)