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.
| Sources | /fonts/cmll |
| Documentation | |
| Version | 2009-04-20 |
| Licenses | The LaTeX Project Public License |
| Copyright | 2003–2009 Emmanuel Beffara |
| Maintainer | Emmanuel Beffara |
| TDS archive | cmll.tds.zip |
| Contained in | TeX Live as cmll MiKTeX as cmll |
| Topics | Tagged PDF – partially compatible Maths Font MF Font Font Type1 Font |
Download the contents of this package in one zip archive (511.5k).
Announcements
Suggestions
Maybe you are interested in the following packages as well.
Community Comments