CTAN update: logix

9 views
Skip to first unread message

CTAN Announcements

unread,
Jul 29, 2021, 11:39:41 AMJul 29
to ctan...@ctan.org
Michael Lee Finney submitted an update to the

logix

package.

Version: 1.10 2021-07-28
License: ofl lppl1.3c

Summary description: Supplement to the Unicode math symbols

Announcement text:
----------------------------------------------------------------------

Added 33 new symbols, including support for linear logic and
triple turnstiles.

----------------------------------------------------------------------

The package’s Catalogue entry can be viewed at
https://ctan.org/pkg/logix

The package’s files themselves can be inspected at
https://mirrors.ctan.org/fonts/logix/

------------------------------------------------------------------------

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
Reply all
Reply to author
Forward
0 new messages