Mathematica 7 introduces a new level of automation in mathematical typesetting. Building on two decades of experience, Mathematica 7 uses a large number of new algorithms and heuristics developed at Wolfram Research to generate traditional mathematical notation that exhibits the clarity and elegance of hand-crafted mathematics written by mathematical experts—but on an arbitrarily large scale.