Information for RPM texlive-mathpartir-11:svn39864-71.fc41.noarch.rpm
| 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 |
|
|||||||||||||||||||||
