Symbolics's stock price doubled in the second half of last week, and its trading volume was more than an order of magnitude higher than usual. Anyone know what's up? I couldn't find any recent stories or insider trading listed on Dow Jones News/Retrieval.