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.

Sources /fonts/cmll
Doc­u­men­ta­tion
Ver­sion 2009-04-20
Li­cense The Project Public Li­cense
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).

An­nounce­ments

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

more

Guest Book Sitemap Contact Contact Author