You can use any character in an identifier if you prepend _ to it.
This _ does not become part of the identifier, it just says that the
immediately following character (whatever it may be) should be treated as
a letter. Normally, neither / nor \ may be part of identifiers. Prepending
_ to each of them, you get a valid identifier _/_\