Clarify the existence of the <> operator in Grammar/Grammar with a comment, for issue 13239
1 file changed