[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