Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

texlive-prodint-21893-1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-prodint Distribution: OpenMandriva Lx
Version: 21893 Vendor: OpenMandriva
Release: 1 Build date: Mon Jul 13 03:59:09 2026
Group: Publishing Build host: altra-3.openmandriva.org
Size: 0 Source RPM: texlive-prodint-21893-1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/fonts/prodint
Summary: A font that provides the product integral symbol
 
Product integrals are to products, as integrals are to sums. They have
been around for more than a hundred years, they have not become part of
the standard mathematician's toolbox, possibly because no-one invented
the right mathematical symbol for them. The authors have remedied that
situation by proposing the symbol and providing this font.

Provides

Requires

License

ofl

Files

/usr/share/texmf-dist
/usr/share/texmf-dist/doc
/usr/share/texmf-dist/doc/fonts
/usr/share/texmf-dist/doc/fonts/prodint
/usr/share/texmf-dist/doc/fonts/prodint/README
/usr/share/texmf-dist/doc/fonts/prodint/config.prodint
/usr/share/texmf-dist/doc/fonts/prodint/prodint.bma
/usr/share/texmf-dist/doc/fonts/prodint/prodint.mt1
/usr/share/texmf-dist/doc/fonts/prodint/prodint.pdf
/usr/share/texmf-dist/doc/fonts/prodint/prodint.pfa
/usr/share/texmf-dist/doc/fonts/prodint/prodint.sit.hqx
/usr/share/texmf-dist/doc/fonts/prodint/prodint.tex
/usr/share/texmf-dist/fonts
/usr/share/texmf-dist/fonts/afm
/usr/share/texmf-dist/fonts/afm/public
/usr/share/texmf-dist/fonts/afm/public/prodint
/usr/share/texmf-dist/fonts/afm/public/prodint/prodint.afm
/usr/share/texmf-dist/fonts/map
/usr/share/texmf-dist/fonts/map/dvips
/usr/share/texmf-dist/fonts/map/dvips/prodint
/usr/share/texmf-dist/fonts/map/dvips/prodint/prodint.map
/usr/share/texmf-dist/fonts/tfm
/usr/share/texmf-dist/fonts/tfm/public
/usr/share/texmf-dist/fonts/tfm/public/prodint
/usr/share/texmf-dist/fonts/tfm/public/prodint/prodint.tfm
/usr/share/texmf-dist/fonts/type1
/usr/share/texmf-dist/fonts/type1/public
/usr/share/texmf-dist/fonts/type1/public/prodint
/usr/share/texmf-dist/fonts/type1/public/prodint/prodint.pfb
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/prodint
/usr/share/texmf-dist/tex/latex/prodint/prodint.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Aug 12 22:19:20 2026