Vorschläge für Temporal-logic

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

Package turnstile: Typeset the (logic) turnstile notation
Package gene-logic: Typeset logic formulae, etc.
Package gensymb: Generic symbols for both text and math mode
Package hwemoji: Unicode emoji support for pdfLaTeX with sequences
Package tablericons: Use tablerIcons through LaTeX commands
Package vscodeicons: Use vscode icons through LaTeX commands
Package morse-simple: Lightweight package to include short morse code strings
Package emf: Support for the EMF symbol
Package openmoji: Use openmoji through LaTeX commands
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 commonunicode: Convert common unicode symbols to LaTeX code
Package stretchy: Macros for creating stretchy TeX symbols
Package bxcoloremoji: Use color emojis more conveniently
Package textgreek: Upright greek letters in text
Package lucide-icons: Use lucide-icons through LaTeX commands
Package twemojis: Use Twitter’s open source emojis through LaTeX commands
Package fitch: LaTeX macros for Fitch-style natural deduction
Package graph-theory-symbol: Macros for symbols used in graph theory
Package resmes: Measure restriction symbol in LaTeX
Package undertilde: Typeset a tilde under one (or many) maths symbols
Package emotion: Make emojis more easy to use in XeLaTeX and LuaLaTeX
Package luatruthtable: Generate truth tables of boolean values in LuaLaTeX
Package truthtable: Automatically generate truth tables for given variables and statements
Package gfnotation: Typeset Gottlob Frege’s notation in plain TeX
Package logicproof: Box proofs for propositional and predicate logic
Package syllogism: Typeset syllogisms in LaTeX
Package fodot: Helpful commands to work with the FODOT
Package boolalg: Truth tables, step-by-step simplification, and algebraic proofs for Boolean