Semantic-faithful typesetting (SFT) combines the elegance of traditional mathematical typography with the precision of a computer language. SFT is unique to Mathematica and its capabilities are immediately apparent: expressions input in a fully typeset form can be evaluated, evaluations are automatically typeset--and can then subsequently be edited, re-evaluated, exported, and so forth.

Delivering SFT is nontrivial (it required seven years of Wolfram Research development) because some mathematical notation is ambiguous, there are many cases where one mathematical meaning has multiple representations, and because of the complexity of working with expressions from a standard keyboard. Other difficult issues include line-breaking, subexpression selection and evaluation, and heuristic conversion from traditional non-semantic typesetting systems such as TeX.

Interactive, evaluatable, publication-quality typesetting is available in all Wolfram Research products, including Mathematica, Mathematica CalcCenter, Publicon, The Mathematical Explorer, A New Kind of Science Explorer, and more.