One Hat Cyber Team

Your IP : 216.73.216.14

Server IP : 194.44.31.54

Server : Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64

Server Software : Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k

PHP Version : 5.6.40

View File Name : frege.tlpobj

name frege
category Package
revision 27417
shortdesc Typeset fregean Begriffsschrift
longdesc The package defines a number of new commands for typesetting
longdesc fregean Begriffsschrift in LaTeX. It is loosely based on the
longdesc package begriff, and offers a number of improvements including
longdesc better relative lengths of the content stroke with respect to
longdesc other strokes, content strokes that point at the middle of
longdesc lines rather than the bottom, a greater width for the assertion
longdesc stroke as compared to the content stroke, a more intuitive
longdesc structure for the conditional, greater care taken to allow for
longdesc the linewidth in the spacing of formulas.
containersize 4528
containerchecksum 39d359f01256f2399cd9226744aa9735543d5c9eb26104855bb52efaf51b8c720cb85e5be08241d72d3b2e1c2deb9cc7a10dd90ffca789ae91b6ea6b7cffb879
doccontainersize 142332
doccontainerchecksum 28c5cb420f25ed57a03f3914ce2286732ab8e06cbb0b8446ab3112ccb79b34814762becb7ac7457593e1b5b1579613a76a8b21fe2c43ac9f08175495ea87bd1c
runfiles size=17
 texmf-dist/tex/latex/frege/frege.sty
catalogue-also bguq begriff grundgesetze
catalogue-ctan /macros/latex/contrib/frege
catalogue-license gpl
catalogue-topics maths logic
catalogue-version 1.3