Oh, so I guess that the signal name is automatically converted to the backslash escape notation when referenced as part of a hierarchy. . . or something like that. I think that I shall never completely understand verilog. . .