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.

Sources /fonts/cmll
Ver­sion 2009-04-20
Li­cense The Project Public Li­cense
Copy­right 2003–2009 Em­manuel Bef­fara
Main­tainer Em­manuel Bef­fara
TDS archive cmll.tds.zip
Con­tained in TeX Live as cmll
MiKTeX as cmll
Topics fonts them­selves
fonts for use in math­e­mat­ics
fonts dis­tributed as source
font avail­able in Adobe Type 1 for­mat

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