Vorschläge für Turnstile

Die folgenden Pakete haben etwas mit dem Paket Turnstile gemeinsam. Die Pakete sind in absteigender Ähnlichkeit sortiert.

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 esint: Extended set of integrals for Computer Modern
Package colonequals: Colon equals symbols
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 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