Clarify the existence of the <> operator in Grammar/Grammar with a comment. Closes issue 13239