In this paper we outline a scheme for marking suggested edits andannotations on specifications during the process of review and correction.The scheme is based on a formal model of negotiation and typographicmarking methods used in conventional document preparation. Thescheme permits precise and interpretable marking and annotation ofcomplex structured documents which use many different notations. Itsupports and guides the process of correction. Some examples and asample visual notation are given. Tool support for using this scheme isdiscussed.