CTAN update: logictools
Datum: 21. Mai 2025 16:11:16 MESZ
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).
| Paket | logictools |
| Version | 0.1.1 2025-05-20 |
| Copyright | 2025 Miles Min Yin Cheang |
| Betreuer | Miles Min Yin Cheang |