Name : texlive-frege
| |
Version : svn27417.1.3
| Vendor : Fedora Project
|
Release : 73.fc41
| Date : 2024-08-01 17:09:51
|
Group : Unspecified
| Source RPM : texlive-2023-73.fc41.src.rpm
|
Size : 0.08 MB
| |
Packager : Fedora Project
| |
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.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora-secondary/development/41/Everything/ppc64le/os/Packages/t |