Symbolics.com sold