CTAN update: cmll
Date: April 20, 2010 3:49:42 PM CEST
This should be at your local mirror within a day.
Jim Hef{}feron
Saint Michael's College
...........................................................................
The following information was provided by our fellow contributor:
Name of contribution: CMLL
Version number: 20100420
Author's name: Emmanuel Beffara
Location on CTAN: /fonts/cmll
Summary description: Linear Logic symbols for Computer Modern
License type: lppl
Announcement text:
This release adds the new symbols \multimapinv, \nmultimap, \nmultimapinv and \nmultimapboth.
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 .
This release adds the new symbols \multimapinv, \nmultimap, \nmultimapinv and \nmultimapboth.
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 METAFONT source, and in Adobe Type 1 format. LaTeX support is provided.
| Package | cmll |
| Version | 2009-04-20 |
| Copyright | 2003–2009 Emmanuel Beffara |
| Maintainer | Emmanuel Beffara |