Miles Min Yin Cheang submitted the
logictools
package.
Version: 0.1.0 2025-05-03 License: lppl1.3
Summary description: Additional tools for typesetting formal logic
Announcement text: ----------------------------------------------------------------------
The logictools package is here! If you find yourself typesetting formal logic often, you should check it out! The star of the show is the formallogic environment, that makes it easy and fast to typeset good looking logic.
Prior to the development of this environment, spending way too much time fiddling around with spacing commands was a familiar experience for every logician. Most of the spacing you need in a logical statement is context sensitive, so only so much can be done through basic macros. Furthermore, using too many macros destroys the readability of the code, and slows down writing to a crawl.
In an effort to change this, I wrote an environment that both speeds up writing formal logic (by offering shorter syntax) and improves the output considerably. The default settings were made with LaTeX's default math font in mind, with the intention that the user come up with a preset that matches their preferences. The options can be changed on the fly, so more than one preset can be used in different parts of the document.
Other than this, the option `oxford' will load a few neat macros that might be of particular interest to those studying logic at the University of Oxford; they provide shortcuts to notations that are commonly used in the first-year courses.
----------------------------------------------------------------------
The package’s Catalogue entry can be viewed at https://ctan.org/pkg/logictools
The package’s files themselves can be inspected at https://mirrors.ctan.org/macros/latex/contrib/logictools/
------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team Petra Rübe-Pugliese
------------------------------------------------------------------------
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs