Directory macros/latex/contrib/mathpartir
+------------------------------------------------+
| mathpartir: |
| Math Paragraph for Typesetting Inference Rules |
+------------------------------------------------+
Author : Didier Rémy
Version : 1.3.2
Bug Reports : to author
Web Site : http://pauillac.inria.fr/~remy/latex/
License : GPL - GNU General Public License 2 or later
The package mathpartir provides:
An environment mathpar for typesetting a sequence of math formulas in
mixed horizontal and vertical mode. The environment selects the best
arrangement according to the line width, exactly as paragraph mode
does for words.
A macro inferrule for typesetting type inference rules. See the
package documentation and website for more information.
This package is partially supported by HEVEA.
Files in distribution:
README This file.
mathpartir.ins Package installation file.
mathpartir.dtx Package source file.
COPYING GPL license file.
mathpartir.sty Package style file. It was produced by
executing "latex mathpartir.ins".
mathpartir.pdf Package documentation. It was produced by
executing "pdflatex mathpartir.dtx" twice.
Download the contents of this package in one zip archive (276.1k).
mathpartir – Typesetting sequences of math formulas, e.g. type inference rules
The package provides macros for typesetting math formulas in mixed horizontal and vertical mode, automatically as best fit.
It provides an environment mathpar that behaves much as a loose centered paragraph where words are math formulas, and spaces between them are larger and adjustable. It also provides a macro \inferrule for typeseting fractions where both the numerator and denominator may be sequences of formulas that will be also typeset in a similar way. It can typically be used for typeseting sets of type inference rules or typing derivations. A macro inferrule for typesetting type inference rules.
| Package | mathpartir |
| Version | 1.3.2 |
| Licenses | GNU General Public License, version 2 |
| Copyright | 2001–2005, 2015, 2016 Didier Remy |
| Maintainer | Didier Remy |
| Contained in | TeX Live as mathpartir MiKTeX as mathpartir |
| Topics | Maths |
