Re: [Axiom-developer] Curiosities with Axiom mathematical structures

[Andrey G. Grozin]

On Wed, 1 Mar 2006, Francois Maltey wrote:
> Why are there 2 underscore in _/_\ in boolean.spad ?
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 _/_\

Andrey