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: xxxxxx@iki.fi, +35841 5323835, +3589 85619369
work contact: xxxxxx@helsinki.fi, +35850 3678003
kotisivu (henkkoht):	http://www.iki.fi/atehwa/
homepage (technical):	http://sange.fi/~atehwa/