CTAN Comprehensive TeX Archive Network

CTAN has a new package: CMLL

Date: February 23, 2006 10:00:05 AM CET
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 .

cmll – Symbols for linear logic

This is a very small font set that contain some symbols useful in linear logic, which are apparently not available elsewhere. Variants are included for use with Computer Modern serif and sans-serif and with the AMS Euler series.

The font is provided both as source, and in Adobe Type 1 format. support is provided.

Packagecmll
Version 2009-04-20
Copyright2003–2009 Emmanuel Beffara
MaintainerEmmanuel Beffara

Announcements

more

Guest Book Sitemap Contact Contact Author