# 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 |

License | The LaTeX Project Public License |

Maintainer | Emmanuel Beffara |

TDS archive | `cmll.tds.zip` |

Contained in | TeX Live as cmll |

MiKTeX as cmll | |

Topics |
fonts themselves fonts for use in mathematics fonts distributed as METAFONT source font available in Adobe Type 1 format |

Download the contents of this package in one zip archive (511.5k).

## Suggestions

Maybe you are interested in the following packages as well.

- doublestroke: Typeset mathematical double stroke symbols
- stmaryrd: St Mary Road symbols for theoretical computer science
- concmath-fonts: Concrete mathematics fonts
- newtx: Alternative uses of the TX fonts, with improved metrics