One Hat Cyber Team

Your IP : 216.73.216.135

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 : gfnotation.tlpobj

name gfnotation
category Package
revision 37156
shortdesc Typeset Gottlob Frege's notation in plain TeX
longdesc The package implements macros for plain TeX to typeset the
longdesc notation invented by Gottlob Frege in 1879 for his books
longdesc "Begriffsschrift" and "Grundgesetze der Arithmetik" (two
longdesc volumes). The output styles of both books are supported.
containersize 14368
containerchecksum 4f99442eacf28ea13cd98ee4bbe981b95ae9d849e6bf2682cac2305fd793f6e9f5e4211362385890956fdb24ef03748e9cb0184c7ba9ed89e7985b2caa3e2da2
doccontainersize 167284
doccontainerchecksum b65d173c11400a7681510cd837ac6e8ebf65a458327bfdee140013d49a0c6fcc339f6c45d4b4ee918585acaf785c12e66b3df5f73f01a1f2d8c5b8db58b9c47e
runfiles size=22
 texmf-dist/tex/plain/gfnotation/GFnotation.tex
catalogue-ctan /macros/plain/contrib/gfnotation
catalogue-license gpl3
catalogue-topics logic maths
catalogue-version 2.9