Trademarks owned by Macsyma Inc