強化されたタイプセットの自動化

Mathematica 7では，数学のタイプセットにおける新しいレベルの自動化を導入している．20年に渡る経験に基づいて，Mathematica 7ではWolfram Researchで開発された多くの新しいアルゴリズムとヒューリスティックを使い，数学専門家によって書かれた手作りの数学の明確さと上品さを示す慣用的な数学表記を生成するが，これを任意的に大きな規模で行う．

多項式，有理式，関数等の従来の最適な順序付けに対する広範なヒューリスティック »

インラインあるいは組込みの分数，指数，導関数等のために最適化されたヒューリスティック

編集された，あるいは入力された慣用的な数学表記を認識するための拡張された機能

慣用表記で表示される関数を識別する自動ツールチップ

ダミー変数を表すために使用された「公式のシンボル」文字の新しいファミリ »

純関数のための新しい表記法 »

離散差分および他の離散微積分の演算子のための特別な表記法 »

追加されたブール演算子用の特別な表記法 »