CTAN Comprehensive TeX Archive Network

cmll – Symbols for linear 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
TopicsMaths Font
MF Font
Font Type1

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

Com­mu­nity Com­ments



Here you can see a re­spec­tive di­a­gram in newer browsers.


Guest Book Sitemap Contact Contact Author