ID | 12753 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Build | texlive-2023-71.fc41 | ||||||||||||
Name | texlive-mathpartir | ||||||||||||
Version | svn39864 | ||||||||||||
Release | 71.fc41 | ||||||||||||
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 | 2024-04-25 04:32:39 GMT | ||||||||||||
Size | 20.37 KB | ||||||||||||
5ed38993d52eb3e63b73d9777400840c | |||||||||||||
License | GPL-2.0-or-later | ||||||||||||
Buildroot | f41-build-16326-578 | ||||||||||||
Provides |
|
||||||||||||
Obsoletes | No Obsoletes | ||||||||||||
Conflicts | No Conflicts | ||||||||||||
Requires |
|
||||||||||||
Recommends | No Recommends | ||||||||||||
Suggests | No Suggests | ||||||||||||
Supplements | No Supplements | ||||||||||||
Enhances | No Enhances | ||||||||||||
Files | |||||||||||||
Component of |
|