PARTICLE	p	n	name: an identifier beginning with a lower case letter
		'n	coname: the inverse of n, usually written with a superscript -1.

---

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