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/