Suggestions for turnstile
The following packages have something in common with the package turnstile. The packages are ordered in decreasing similarity.
- temporal-logic: Symbols for Temporal Logics
- begriff: Typeset Begriffschrift
- frege: Typeset fregean Begriffsschrift
- gene-logic: Typeset logic formulae, etc
- grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
- fitch: LaTeX macros for Fitch-style natural deduction
- abraces: Asymmetric over-/underbraces in maths
- truthtable: Automatically generate truth tables for given variables and statements
- luatruthtable: Generate truth tables of boolean values in LuaLaTeX
- gfnotation: Typeset Gottlob Frege's notation in plain TeX
- logicproof: Box proofs for propositional and predicate logic
- lkproof: LK Proof figure macros
- syllogism: Typeset syllogisms in LaTeX
- cursor: Draw a cursor in an equation
- dotarrow: Extendable dotted arrows
- multiobjective: Symbols for multiobjective optimisation etc
- trfsigns: Typeset transform signs
- stackrel: Enhancement to the \stackrel command
- gensymb: Generic symbols for both text and math mode
- flexisym: Symbol manipulation for breqn
- halloweenmath: Scary and creepy math symbols with AMS-LaTeX integration
- synproof: Easy drawing of syntactic proofs
- colonequals: Colon equals symbols
- logix: Supplement to the Unicode math symbols
- esint: Extended set of integrals for Computer Modern
- symbolindex: Generate a list of symbols with different subgroups
- yagusylo: A symbol loader
- textgreek: Upright greek letters in text
- casiofont: Support for the Casio ClassWiz font
- twemojis: Use Twitter’s open source emojis through LaTeX commands
- hwemoji: Unicode emoji support for pdfLaTeX with sequences