ID | 579136 | |||||||
---|---|---|---|---|---|---|---|---|
Build | texlive-2023-76.fc42 | |||||||
Name | texlive-mathpartir | |||||||
Version | svn39864 | |||||||
Release | 76.fc42 | |||||||
Epoch | 11 | |||||||
Arch | noarch | |||||||
Draft | False | |||||||
Summary | Typesetting sequences of math formulas, e.g. type inference rules | |||||||
Description | 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. | |||||||
Build Time | 2025-03-28 04:45:21 GMT | |||||||
Size | 19.18 KB | |||||||
b229ecc2dc6f428d910384d88f806ac0 | ||||||||
License | GPL-2.0-or-later | |||||||
Buildroot | f42-build-3443232-45454 | |||||||
Provides |
|
|||||||
Obsoletes | No Obsoletes | |||||||
Conflicts | No Conflicts | |||||||
Requires |
|
|||||||
Recommends | No Recommends | |||||||
Suggests | No Suggests | |||||||
Supplements | No Supplements | |||||||
Enhances | No Enhances | |||||||
Files | ||||||||
Component of | No Buildroots |