| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-frege | Distribution: OpenMandriva Lx |
| Version: 27417 | Vendor: OpenMandriva |
| Release: 1 | Build date: Sat Nov 12 23:57:44 2022 |
| Group: Publishing | Build host: c64-1.openmandriva.org |
| Size: 254948 | Source RPM: texlive-frege-27417-1.src.rpm |
| Packager: bero <bero@lindev.ch> | |
| Url: http://www.ctan.org/tex-archive/macros/latex/contrib/frege | |
| Summary: Typeset fregean Begriffsschrift | |
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.
GPL
/usr/share/texmf-dist/doc/latex/frege/GNU.txt /usr/share/texmf-dist/doc/latex/frege/INSTALL /usr/share/texmf-dist/doc/latex/frege/README /usr/share/texmf-dist/doc/latex/frege/frege.pdf /usr/share/texmf-dist/doc/latex/frege/frege.tex /usr/share/texmf-dist/tex/latex/frege/frege.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Dec 17 23:03:18 2024