• New on CTAN: logictools

    From CTAN Announcements@21:1/5 to CTAN Announcements on Mon May 5 08:00:28 2025
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)