$$ Variable ::= "$" Identifier .
A variable is marked by a ``$'' preceding its name. The name may be any valid identifier. A variable is defined by the define statement; it receives a value and may from this point on be used in all expressions within the statement sequence. In such a statement sequence (and all subordinated statement sequences) a variable with the same name must not be defined again.