[re.grammar] Improve grammar typesetting.#3193

zygoloid merged 1 commit intocplusplus:mastercplusplus/draft:masterfrom

Eelis:regrammarEelis/draft:regrammarCopy head branch name to clipboard