[lex.ext] Remove \grammarterm for consistency#8698

jensmaurer merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

Andreas-Krug:patch-969539Andreas-Krug/draft:patch-969539Copy head branch name to clipboard