CTAN Comprehensive TeX Archive Network

CTAN update: CMLL

Date: January 22, 2009 8:06:54 AM CET
This package has been updated at tug.ctan.org and will work its way through the mirroring system in the next day. Thanks, Jim Hefferon Saint Michael's College ........................................................................ The following information was provided by our fellow contributor: Name of contribution: CMLL Author's name: Emmanuel Beffara Location on CTAN: /fonts/cmll Summary description: Symbols for linear logic. License type: lppl Announcement text:
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, AMS Euler and other text and math fonts. The font is provided both as MetaFont source, and in Adobe Type 1 format, LaTeX support is provided. This new release adds a handful of new symbols.
This package is located at http://tug.ctan.org/tex-archive/fonts/cmll . More information is at http://tug.ctan.org/pkg/cmll (if the package is new it may take a day for that information to appear). We are 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