Suggestions for turnstile
The following packages have something in common with the package turnstile. The packages are ordered in decreasing similarity.
- gensymb: Generic symbols for both text and math mode
- fitch: LaTeX macros for Fitch-style natural deduction
- temporal-logic: Symbols for Temporal Logics
- colonequals: Colon equals symbols
- esint: Extended set of integrals for Computer Modern
- bxcoloremoji: Use color emojis more conveniently
- twemojis: Use Twitter’s open source emojis through LaTeX commands
- abraces: Asymmetric over-/underbraces in maths
- upgreek: Upright Greek letters
- stackrel: Enhancement to the \stackrel command
- begriff: Typeset Begriffschrift
- frege: Typeset fregean Begriffsschrift
- grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
- gene-logic: Typeset logic formulae, etc.
- logictools: Additional tools for typesetting formal logic
- musicography: Accessing symbols for music writing with pdfLaTeX
- accents: Multiple mathematical accents
- centernot: Centred \not command
- delimset: Typeset and declare sets of delimiters with convenient size control
- extpfeil: Extensible arrows in mathematics
- euler: Use AMS Euler fonts for math
- faktor: Typeset quotient structures with LaTeX
- iwonamath: LaTeX support for scaled Iwona math fonts
- letterswitharrows: Draw arrows over math letters
- mathtools: Mathematical tools to use with amsmath
- mathalpha: General package for loading maths alphabets in LaTeX
- mattens: Matrices/tensor typesetting
- mathpartir: Typesetting sequences of math formulas, e.g. type inference rules
- mathbbol: Use the bbold fonts in mathematics
- newproof: Make commands to define proofs
- sansmath: Maths in a sans font