[Pkg-fonts-bugs] ITP: LTLfonts : mathematical symbols TeX font

Nicolas Spalinger nicolas_spalinger at sil.org
Mon Jan 29 15:12:38 CET 2007

Package: wnpp
Severity: wishlist

* Package name    : tex-ltlfonts
  Version         : 0.1.2
  Upstream Author : Matteo Slanina
* URL             : http://theory.stanford.edu/~matteo/ltlfonts/
* License         : Open Font License
  Description     : mathematical symbols TeX font

LTLfonts is a Mathematical symbols font for typesetting formulas of
linear temporal logic (LTL) in the Manna/Pnueli notation.

It is distributed in outline Type 1 format, with associated TeX (TFM),
Adobe (AFM), and Microsoft (PFM) font metrics. It should be usable with
any modern LaTeX distribution and many other typesetting or word
processing software.

FontForge SFD source are provided.

More information about the Pkg-fonts-bugs mailing list