From 050f05f31cce15fc36d29a9ca5974618cffd1487 Mon Sep 17 00:00:00 2001 From: Nicolas Goaziou Date: Mon, 21 Aug 2023 12:40:11 +0200 Subject: [PATCH] gnu: Add texlive-logix. * gnu/packages/tex.scm (texlive-logix): New variable. --- gnu/packages/tex.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 580dfe0c35..48efeb57bf 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -17025,6 +17025,29 @@ Great Wall of China, Loop the Loop, Rundweg, Gartenzaun, ...), @end itemize") (license license:lppl1.3+))) +(define-public texlive-logix + (package + (name "texlive-logix") + (version (number->string %texlive-revision)) + (source (texlive-origin + name version + (list "doc/fonts/logix/" + "fonts/opentype/public/logix/" + "fonts/truetype/public/logix/" + "tex/latex/logix/") + (base32 + "19ak3zfqnx04rb5wcmzc5z3g8sp2wphi83lx9i58y41y3lp2z4kq"))) + (outputs '("out" "doc")) + (build-system texlive-build-system) + (home-page "https://ctan.org/pkg/logix") + (synopsis "Supplement to the Unicode math symbols") + (description + "The package provides a Unicode font with over 4,000 symbols to +supplement the Unicode math symbols. It is compatible with and +complements the AMS STIX2 math fonts, but focuses on new symbols and +symbol variants more suited to work in logic.") + (license (list license:silofl1.1 license:lppl1.3c)))) + (define-public texlive-lollipop (package (name "texlive-lollipop")