Comments are generally displayed in the same font as ordinary informal text that might appear before and after a CASL specification (but note that this may be overruled by formatting instructions occurring in the comment text).
The display of a comment need not preserve the original line-breaks of the input; but each line of the displayed comment must always start with `%%'.
By default, annotations other than labels are not displayed directly at all. Display annotations generally affect the formatting of identifiers, but the annotations themselves are not shown.
When tools have modes or switches that cause certain annotations to be displayed, their input syntax should be shown.