@robpike I remember back 29 years ago when I had my first struggles with LaTeX. I struggled for a long time to typeset a backslash. Only to discover, once I succeeded, that I actually just needed a regular slash 🙃