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. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
