CTAN Comprehensive TeX Archive Network

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.

Version 2009-04-20
LicensesThe Project Public License
Copyright2003–2009 Emmanuel Beffara
MaintainerEmmanuel Beffara
TDS archivecmll.tds.zip
Contained inTeX Live as cmll
MiKTeX as cmll
Font Type1
Maths Font
MF Font

Download the contents of this package in one zip archive (511.5k).

Community Comments



Here you can see a respective diagram in newer browsers.


Guest Book Sitemap Contact Contact Author