https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110329
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2023-06-20
Ever confirmed|0 |1
Keywords| |build
Target Milestone|--- |14.0
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
From
https://www.gnu.org/software/texinfo/manual/texinfo-html/Inserting-a-Backslash.html
```
Although ‘@backslashchar{}’ can be used nearly anywhere, there is no need for
it except in these unusual cases.
```
So if I read this correctly, `\` could be used here without any worries as it
is not inside a macro. It is only inside a macro where `\` would be an issue.
I suspect @backslashchar was only added for texinfo 7.0.
