CTAN update: cmll
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.
|Copyright||2003–2009 Emmanuel Beffara|