Formatting Text🔗

A detailed information on formatting on Verso is explained at Verso Markup page. Read below for a consise summary of some of the most commonly used formatting options.

1. Adding inline Lean Code
2. Interactive Symbols
3. Errors and Warnings
4. Cross-References
5. Marginal Notes
6. Indexing