Developed at Wolfram Research over nearly twenty years, Mathematica has by far the world's most sophisticated and convenient mathematical typesetting technology. Generalizing the concept of a computer language to allow 2D input, Mathematica allows both interactive and programmatic entry of arbitrarily complex typeset expressions, with publication-quality layout continuously maintained in real time.