CTAN update: logictools
Date: May 21, 2025 4:11:16 PM CEST
Miles Min Yin Cheang submitted an update to the
logictools
package.
Version: 0.1.1 2025-05-20
License: lppl1.3
Summary description: Additional tools for typesetting formal logic
Announcement text:
Updates for compatability with LuaTeX, unicode-math, babel (greek), bug fixes, better error handling. Among other things...
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
Updates for compatability with LuaTeX, unicode-math, babel (greek), bug fixes, better error handling. Among other things...
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
logictools – Additional tools for typesetting formal logic
Adds various tools for typesetting formal logic, including:
- An environment that makes it easier to produce good looking formal logic.
- A few macros that would be of interest to people studying logic at Oxford (or other places with similar notational conventions).
| Package | logictools |
| Version | 0.1.1 2025-05-20 |
| Copyright | 2025 Miles Min Yin Cheang |
| Maintainer | Miles Min Yin Cheang |