シンボリックス
シンボリックスの最初の製品 LM-2 は、MIT CADR というLISPマシン設計の焼き直しであった。そのオペレーティングシステムとソフトウェア開発環境は、MITの Lisp Machine Lisp を使っていて、50万行以上の規模があった。
Macsyma
1989年、シンボリックスは製品戦略の失敗から事業を整理統合する必要に迫られた。ペッティは Macsyma 部門を独立させようとしたがMITから資金協力を得られなかった。1988年末、ペッティは経営陣にソフトウェア専業への移行を進言したが、受け入れられなかった。そこで新たな企業を創業するためペッティはシンボリックスを退社した。