LP, the Larch Prover -- The comment command
The comment command provides a way for users to annotate scripts and
<comment-command> ::= % <string>
% Axioms for finite sets
LP ignores all input from the character (%) introducing a comment to the
end of the line. These characters appear in any script or
log file active at the time of the command, but do not otherwise
affect LP's operation.