ngz pushed a commit to branch master
in repository guix.
commit c404410645a2e4f29abf6f8a1e7acec708302832
Author: Nicolas Goaziou <[email protected]>
AuthorDate: Mon Aug 21 12:53:02 2023 +0200
gnu: Add texlive-prodint.
* gnu/packages/tex.scm (texlive-prodint): New variable.
---
gnu/packages/tex.scm | 26 ++++++++++++++++++++++++++
1 file changed, 26 insertions(+)
diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm
index 2feb047a00..c1996cd5b8 100644
--- a/gnu/packages/tex.scm
+++ b/gnu/packages/tex.scm
@@ -21638,6 +21638,32 @@ includes some short commands for set (blackboard) or
filtrations (calligraphic).")
(license license:lppl)))
+(define-public texlive-prodint
+ (package
+ (name "texlive-prodint")
+ (version (number->string %texlive-revision))
+ (source (texlive-origin
+ name version
+ (list "doc/fonts/prodint/"
+ "fonts/afm/public/prodint/"
+ "fonts/map/dvips/prodint/"
+ "fonts/tfm/public/prodint/"
+ "fonts/type1/public/prodint/"
+ "tex/latex/prodint/")
+ (base32
+ "0k354qidij22mwxafh2zbam7qb4jd5pb8jakw0c660xdxaxrdxx3")))
+ (outputs '("out" "doc"))
+ (build-system texlive-build-system)
+ (home-page "https://ctan.org/pkg/prodint";)
+ (synopsis "Font that provides the product integral symbol")
+ (description
+ "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.")
+ (license license:silofl1.1)))
+
(define-public texlive-profcollege
(package
(name "texlive-profcollege")
