CTAN has a new package: CMLL

A new package has just been installed at tug.ctan.org and should make its way to your favorite mirror. Thanks again, Jim Hefferon ====================================================================== The following information was provided by the package's contributor. Name of contribution: CMLL Author's name: Emmanuel Beffara Location on CTAN: /fonts/cmll Summary description: Linear logic symbols for Computer Modern License type: lppl Announcement text given by the package's contributor:

---

This is a very small font set that contain some symbols useful in linear logic and that I didn't find elsewhere. Variants are included for use with Computer Modern serif and sans-serif and with the AMS Euler series.

---

See this package at http://tug.ctan.org/tex-archive/fonts/cmll . You may get a better network connection by using a CTAN mirror near to you; see http://tug.ctan.org/tex-archive/README.mirrors . Our service is supported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/usergroups.html .