Glossary

Annotation

An annotation is a comment tied to a location or an element on a proof. It can include text, a drawing, a measurement or a link, and it stays with the version it was made on.

Reviewed November 3, 2026