Suggestions for gfnotation

The following packages have something in common with the package gfnotation. The packages are ordered in decreasing similarity.

Package gene-logic: Typeset logic formulae, etc.
Package begriff: Typeset Begriffschrift
Package frege: Typeset fregean Begriffsschrift
Package grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
Package logictools: Additional tools for typesetting formal logic
Package fitch: LaTeX macros for Fitch-style natural deduction
Package turnstile: Typeset the (logic) turnstile notation
Package luatruthtable: Generate truth tables of boolean values in LuaLaTeX
Package truthtable: Automatically generate truth tables for given variables and statements
Package logicproof: Box proofs for propositional and predicate logic
Package syllogism: Typeset syllogisms in LaTeX
Package fodot: Helpful commands to work with the FODOT
Package temporal-logic: Symbols for Temporal Logics
Package bfsymb: Generate bold symbols in Plain TeX mathematics
Package mathtime-pln: Plain TeX macros for using MathTime and MathTime Plus
Package mrecog: Recognise un-escaped command names in maths
Package xintsession: Interactive computing sessions (fractions, floating points, polynomials)
Package synproof: Easy drawing of syntactic proofs
Package principia: Notations for typesetting the Principia Mathematica
Package lkproof: LK Proof figure macros
Package unimath-plain-xetex: OpenType math support in (plain) XeTeX
Package harvmac: Macros for scientific articles
Package resumemac: Plain TeX macros for resumés
Package letter1: Letter formatting macros
Package mlawriter: Write MLA style documents in Plain TeX
Package histyle: A HighStyle environment for TeX
Package automagic: Automatic counter numbering in Plain TeX
Package lextex: Typesetting legal documents using plain TeX
Package plain-widow: Three output routines that extend \plainoutput
Package plain-grid: Four sets of macros for typesetting on a baseline grid
Package bguq: Improved quantifier stroke for Begriffsschrift packages