Another convention of the notation is the use of header comments.

• 另一个符号的约定是头注释的使用。