On Nov 27, 2004, at 2:44 PM, Julian Rohrhuber wrote:
ah, good. Then the problem should be caught somewhere else, maybe in SetSymbol.