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 METAFONT source, and in Adobe Type 1 format. LaTeX support is provided. format.
|License||The LaTeX Project Public License|
|Copyright||2003-2009 Emmanuel Beffara|
|Contained in||TeXLive as cmll|
|MiKTeX as cmll|
fonts for use in mathematics|