[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
Tokens in a CMI file are one of the following.
isspace
)
not listed above, and terminated by a whitespace character.
In some contexts, an identifier is taken as a character name---a name from the encoding file Charspace is using, either the default or one you specified with `-encoding' (see section 9.3 Invoking Charspace). See section 5.3 Encoding files, for the definition of encoding files.
In all other cases, identifiers are internal to Charspace. The particular commands describe the semantics which apply to them.
Some identifiers are reserved, i.e., they cannot be used in any context except as described in the following sections. Reserved words are always shown in typewriter type.
An expression in a CMI file is one of: a number, an identifier, or a number followed by an identifier. This last, as in `.75 foo', denotes multiplication.
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |