COMMENT
Treats all text between or on the same line as the delimiters as a comment.
Syntax
COMMENT delimiter ⟦text⟧
⟦text⟧
⟦text⟧ delimiter ⟦text⟧
See also
Feedback
Coming soon: Throughout 2024 we will be phasing out GitHub Issues as the feedback mechanism for content and replacing it with a new feedback system. For more information see: https://aka.ms/ContentUserFeedback.
Submit and view feedback for