Try and edit a formula (example, don't use quick edit).
Try and add an operator (for example, a backslash) by clicking on it from the Operators set.
Notice it gets added as "backslash", that is, by its name, rather than as "\".
This happens for several other operators and marks.