CTAN Comprehensive TeX Archive Network

Direc­tory fonts/cmll

This directory contains the CMLL font. This font contains a handful of symbols
used in the linear logic coommunity, designed for use with standard Computer
Modern and AMS Euler fonts.

This package is dated April 20, 2010.


* Using packages

CMLL is part of reasonable TeX distributions (including TeXLive and MikteX).

A Debian package is available at http://iml.univ-mrs.fr/~beffara/soft/, it can
be installed even if an older version of CMLL is installed using one of the
TeXLive packages, and it will have priority over it.

* Using the shell script (for Unix)

  ./install.sh /usr/share/texmf
Replace "/usr/share/texmf" by the path of the TeX directory structure where
you want to install the files.
You may have to update TeX's databases by running "texhash" or "mktexlsr"
(this is for Kpathsea-based distributions like TeX Live) or a similar command.

* By hand

Copy the .mf files from the "mf" subdirectory somewhere in Metafont's search
path and the .sty and .fd files from the "latex" subdirectory somewhere in
LaTeX's search path.

Call TEXMF the base directory of your installation (on Unix this should be
something like /usr/share/texmf or ~/texmf for a single user installation).
Then copy the directories as follows:
    copy "mf" as TEXMF/fonts/source/public/cmll
    copy "latex" as TEXMF/tex/latex/cmll
If you want to install the fonts in Type1 format:
    copy "type1" as TEXMF/fonts/type1/public/cmll
    copy "tfm" as TEXMF/fonts/tfm/public/cmll
    copy "cmll.map" as TEXMF/fonts/map/dvips/cmll/cmll.map
You may have to update TeX's databases by running "texhash" or "mktexlsr"
(this is for Kpathsea-based distributions like teTeX) or a similar command.


When the files are correctly installed, compiling the file cmll.dtx with latex
will produce a documentation for the package, including the list of defined

To summarise, just say \usepackage{cmll} to get the extra symbols. Class
options may be used to select a particular variant of the font, see the
documentations for details.

In order to use the Type1 versions, assuming the files are installed as
described above, you need to use the provided file "cmll.map". Please refer to
the documentation of you local installation for that.


Any comments and suggestions are welcome, feel free to drop me a note at the
address below.

For those interested in legal stuff, this work is covered by the LaTeX Project
Public License (LPPL).

Enjoy !

(c) Emmanuel Beffara <manu@beffara.org>, 2003--2010

Down­load the con­tents of this pack­age in one zip archive (511.5k).

cmll – Sym­bols for lin­ear logic

This is a very small font set that con­tain some sym­bols use­ful in lin­ear logic, which are ap­par­ently not avail­able else­where. Vari­ants are in­cluded for use with Com­puter Modern serif and sans-serif and with the AMS Euler se­ries.

The font is pro­vided both as source, and in Adobe Type 1 for­mat. sup­port is pro­vided.

Ver­sion 2009-04-20
Li­censesThe Project Public Li­cense
Copy­right2003–2009 Em­manuel Bef­fara
Main­tainerEm­manuel Bef­fara
TDS archivecmll.tds.zip
Con­tained inTeX Live as cmll
MiKTeX as cmll
Font Type1
MF Font
Maths Font
Guest Book Sitemap Contact Contact Author