removal of the Symbol Library