Which company offers the LISP machine considered to be "the most powerful symbolic processor available"?

• LMI
• Symbolics
• Xerox
• Texas Instruments
• None of the above