6.1.2.1 Comment Command

#anything‹end of line›

A comment. Ignore any characters from the ‘#’ character up to the next newline character.

This command is the only possibility for commenting in the intermediate output. Each comment can be preceded by arbitrary syntactical space; every command can be terminated by a comment.