Suggestions for turnstile

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

• Package gensymb: Generic symbols for both text and math mode
• Package trfsigns: Typeset transform signs
• Package fitch: LaTeX macros for Fitch-style natural deduction
• Package temporal-logic: Symbols for Temporal Logics
• Package gene-logic: Typeset logic formulae, etc.
• Package colonequals: Colon equals symbols
• Package esint: Extended set of integrals for Computer Modern
• Package bxcoloremoji: Use color emojis more conveniently
• Package twemojis: Use Twitter’s open source emojis through LaTeX commands
• Package abraces: Asymmetric over-/underbraces in maths
• 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 musicography: Accessing symbols for music writing with pdfLaTeX
• Package halloweenmath: Scary and creepy math symbols with AMS-LaTeX integration
• 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
• Package letterswitharrows: Draw arrows over math letters
• Package mathtools: Mathematical tools to use with amsmath
• Package mattens: Matrices/tensor typesetting
• Package mathpartir: Typesetting sequences of math formulas, e.g. type inference rules
• Package mathbbol: Use the bbold fonts in mathematics
• Package sansmath: Maths in a sans font
• Package steinmetz: Print Steinmetz notation