Suggestions for temporal-logic
The following packages have something in common with the package temporal-logic. The packages are ordered in decreasing similarity.
- turnstile: Typeset the (logic) turnstile notation
- textgreek: Upright greek letters in text
- twemojis: Use Twitter’s open source emojis through LaTeX commands
- gensymb: Generic symbols for both text and math mode
- hwemoji: Unicode emoji support for pdfLaTeX with sequences
- emf: Support for the EMF symbol
- bxcoloremoji: Use color emojis more conveniently
- wrapstuff: Wrapping text around stuff
- gradient-text: Decorate text with linear gradient colors
- wrapfig2: Wrap text around figures
- flexisym: Symbol manipulation for breqn
- logicproof: Box proofs for propositional and predicate logic
- lkproof: LK Proof figure macros
- syllogism: Typeset syllogisms in LaTeX
- symbolindex: Generate a list of symbols with different subgroups
- yagusylo: A symbol loader
- casiofont: Support for the Casio ClassWiz font
- begriff: Typeset Begriffschrift
- frege: Typeset fregean Begriffsschrift
- gene-logic: Typeset logic formulae, etc
- grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
- synproof: Easy drawing of syntactic proofs
- fitch: LaTeX macros for Fitch-style natural deduction
- getitems: Gathering items from a list-like environment
- mfirstuc: Uppercase the first letter of a word
- musicography: Accessing symbols for music writing with pdfLaTeX
- wargame: A LaTeX package to prepare hex’n’counter wargames
- clistmap: Map and iterate over LaTeX3 clists
- rescansync: Re-scan tokens with synctex information
- precattl: Prepare special catcodes from token list
- lt3rawobjects: Objects and proxies in LaTeX3