| ID | 113437 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | texlive-2023-76.fc42 | ||||||||||||
| Name | texlive-frege | ||||||||||||
| Version | svn27417.1.3 | ||||||||||||
| Release | 76.fc42 | ||||||||||||
| Epoch | 11 | ||||||||||||
| Arch | noarch | ||||||||||||
| Draft | False | ||||||||||||
| Summary | Typeset fregean Begriffsschrift | ||||||||||||
| Description | The package defines a number of new commands for typesetting fregean Begriffsschrift in LaTeX. It is loosely based on the package begriff, and offers a number of improvements including better relative lengths of the content stroke with respect to other strokes, content strokes that point at the middle of lines rather than the bottom, a greater width for the assertion stroke as compared to the content stroke, a more intuitive structure for the conditional, greater care taken to allow for the linewidth in the spacing of formulas. | ||||||||||||
| Build Time | 2025-01-29 15:44:48 GMT | ||||||||||||
| Size | 17.05 KB | ||||||||||||
| fc341ef649fdd2b1d741c6f1cdd2ba10 | |||||||||||||
| License | GPL-1.0-or-later | ||||||||||||
| 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 | ||||||||||||
