| Name : texlive-frege
| |
| Version : svn27417.1.3
| Vendor : Fedora Project
|
| Release : 14.fc29
| Date : 2018-06-23 22:24:21
|
| Group : Applications/Publishing
| Source RPM : texlive-2017-14.fc29.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/alt/risc-v/repo/fedora/29/25511/riscv64/Packages/t |
