Suggestions for Turnstile

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

• Package fitch: LaTeX macros for Fitch-style natural deduction
• Package temporal-logic: Symbols for Temporal Logics
• Package trfsigns: Typeset transform signs
• Package gensymb: Generic symbols for both text and math mode
• Package lkproof: LK Proof figure macros
• Package gene-logic: Typeset logic formulae, etc.
• Package colonequals: Colon equals symbols
• Package esint: Extended set of integrals for Computer Modern
• Package abraces: Asymmetric over-/underbraces in maths
• Package bm: Access bold symbols in maths mode
• Package amsbsy: Produce bold math symbols (AMS-LaTeX)
• Package bxcoloremoji: Use color emojis more conveniently
• Package twemojis: Use Twitter’s open source emojis through LaTeX commands
• Package upgreek: Upright Greek letters
• Package stackrel: Enhancement to the \stackrel command
• 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 synproof: Easy drawing of syntactic proofs
• Package logix: Supplement to the Unicode math symbols
• Package halloweenmath: Scary and creepy math symbols with AMS-LaTeX integration
• Package shuffle: A symbol for the shuffle product
• Package musicography: Accessing symbols for music writing with pdfLaTeX
• Package cookingsymbols: Symbols for recipes
• Package centernot: Centred \not command
• Package eqnlines: Single- and multiline equations
• Package delimset: Typeset and declare sets of delimiters with convenient size control
• Package extpfeil: Extensible arrows in mathematics
• Package extarrows: Extra Arrows beyond those provided in amsmath
• Package iwonamath: LaTeX support for scaled Iwona math fonts