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