Bug#408946: ITP: LTLfonts : mathematical symbols TeX font

[Nicolas Spalinger <nicolas_spalinger@sil.org>]

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.