Suggestions for Temporal-logic

The following packages have something in common with the package Temporal-logic. The packages are ordered in decreasing similarity.

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 turnstile: Typeset the (logic) turnstile notation
Package gene-logic: Typeset logic formulae, etc.
Package bxcoloremoji: Use color emojis more conveniently
Package gensymb: Generic symbols for both text and math mode
Package twemojis: Use Twitter’s open source emojis through LaTeX commands
Package textgreek: Upright greek letters in text
Package lucide-icons: Use lucide-icons through LaTeX commands
Package emotion: Make emojis more easy to use in XeLaTeX and LuaLaTeX
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 casiofont: Support for the Casio ClassWiz font
Package symbolindex: Generate a list of symbols with different subgroups
Package yagusylo: A symbol loader
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 principia: Notations for typesetting the Principia Mathematica
Package getitems: Gathering items from a list-like environment
Package mfirstuc: Uppercase the first letter of a word
Package stretchy: Macros for creating stretchy TeX symbols
Package wargame: A LaTeX package to prepare hex’n’counter wargames
Package fitch: LaTeX macros for Fitch-style natural deduction
Package lkproof: LK Proof figure macros