Re: Colons in indices

[karl]

        foo::::bar:   The foo-bar node

I don't think doubling colons is the best approach, because doubled
colons are already used in menu entries and xrefs, so disambiguating a
single escaped colon from a legitimate use of a double colon seems
difficult at best.

However, the idea of escaping colons seems promising.  The @ character
is what comes to mind whenever you need anything escaped in Texinfo,
since everything else (besides {}) is allowed except in special
circumstances.  So a node named foo:bar would become 

* foo@:bar::   this is a menu entry for the foo:bar node.

And source like @pxref{foo:bar}
would produce output like (*note foo@:bar::.).

Or for foo::bar --
* foo@:@:bar: double foo description:  another menu entry.


What do you think of that idea?