A Functional Description of TEX's Formula Layout


While the quality of the results of T E X's mathematical formula layout algorithm is convincing, its original description is hard to understand since it is presented as an imperative program with complex control ow and destructive manipulations of the data structures representing formulae. In this paper, we present a re-implementation of T E X's formula layout algorithm in the functional language SML, thereby providing a more readable description of the algorithm, extracted from the monolithical T E X system.

Extracted Key Phrases

Cite this paper

@article{Heckmann1997AFD, title={A Functional Description of TEX's Formula Layout}, author={Reinhold Heckmann and Reinhard Wilhelm}, journal={J. Funct. Program.}, year={1997}, volume={7}, pages={451-485} }