\symbol_character $symbol_character_string
A character that is normally not valid within the string of a symbol name.
A symbol name that contains one or more characters that are normally not valid within the string of a symbol name.
These operators allow you to put non-valid characters into a symbol name. They must be used every time the symbol is written, not just the first time.
\ makes the immediately following character valid.
$ makes the whole string valid, regardless of which individual characters are not normally valid.
Copyright © 1995-2010 by Cogent Real-Time Systems, Inc. All rights reserved.