delete symbolics