Names of actions, and formal parameters standing for actions, begin with a lower case letter a - z.

Identifiers for sets, relabelling functions, agents or propositions, and formal parameters standing for these things, begin with an upper case letter A - Z.

The second and subsequent characters of an identifier may be:

Also for obvious reasons:

Please note that it is possible that the set of permitted characters may be restricted further in future; if you want to write future-proof scripts you would be well advised to stick to alphanumeric characters.

Edinburgh Concurrency Workbench (v7.1). Page generated: Sat Jul 17 22:16:15 BST 1999