Trademarks owned by Symbolics, Inc.