summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/stex/presentation/README
blob: 6fd953f20d10a74aa41d4275f92084f2fff43cfe (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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)

See http://trac.kwarc.info/sTeX for the project homepage, the development version
of this package can be found at 
https://svn.kwarc.info/repos/stex/trunk/sty/stex/presentation