I just wanted to say that I wholeheartedly welcome the extensions in symbol syntax and contents. And at last, empty symbols have an external representation. Yay!
Panu -- personal contact: [EMAIL PROTECTED], +35841 5323835, +3589 85619369 work contact: [EMAIL PROTECTED], +35850 3678003 kotisivu (henkkoht): http://www.iki.fi/atehwa/ homepage (technical): http://sange.fi/~atehwa/
