Suggestions for gfnotation
The following packages have something in common with the package gfnotation. The packages are ordered in decreasing similarity.
- begriff: Typeset Begriffschrift
- frege: Typeset fregean Begriffsschrift
- gene-logic: Typeset logic formulae, etc
- turnstile: Typeset the (logic) turnstile notation
- grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
- fitch: LaTeX macros for Fitch-style natural deduction
- truthtable: Automatically generate truth tables for given variables and statements
- luatruthtable: Generate truth tables of boolean values in LuaLaTeX
- logicproof: Box proofs for propositional and predicate logic
- lkproof: LK Proof figure macros
- syllogism: Typeset syllogisms in LaTeX
- bfsymb: Generate bold symbols in Plain TeX mathematics
- mrecog: Recognise un-escaped command names in maths
- mathtime-pln: Plain TeX macros for using MathTime and MathTime Plus
- xintsession: Interactive computing sessions (fractions, floating points, polynomials)
- synproof: Easy drawing of syntactic proofs
- temporal-logic: Symbols for Temporal Logics
- unimath-plain-xetex: OpenType math support in (plain) XeTeX
- automagic: Automagic numbering in Plain TeX
- histyle: A "HighStyle" environment for TeX
- harvmac: Macros for scientific articles
- letter1: Letter formatting macros
- lextex: Typesetting legal documents using plain TeX
- resumemac: Plain TeX macros for resumés
- mlawriter: Write MLA style documents in Plain TeX
- bguq: Improved quantifier stroke for Begriffsschrift packages
- tikz-inet: Draw interaction nets with TikZ
- ptolemaicastronomy: Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)
- btable: Bordered tables
- badge: Print badge labels
- cascover: Make cassette covers