presentation.sty: An Infrastructure for Presenting Semantic Macros

This package supplies an infrastructure that allows to specify the presentation of
semantic macros, including preference-based bracket elision. This allows to markup the
functional structure of mathematical formulae without having to lose high-quality
human-oriented presentation in {\LaTeX}. Moreover, the notation definitions can be used by
MKM systems for added-value services, either directly from the {\sTeX} sources, or after
translation.

Copyright (c) 2008 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)

The development version of this package can be found at
https://svn.kwarc.info/repos/stex/sty/stex/presentation/