New on CTAN: logictools

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