From 145e0bdca38d52a0a25360dab70bfd9c0b52f5c0 Mon Sep 17 00:00:00 2001
From: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Date: Sun, 30 Jul 2023 16:29:48 +0200
Subject: [PATCH] gnu: Add texlive-mathlig.

* gnu/packages/tex.scm (texlive-mathlig): New variable.
---
 gnu/packages/tex.scm | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm
index a67e3d42ae..42c19970fe 100644
--- a/gnu/packages/tex.scm
+++ b/gnu/packages/tex.scm
@@ -4540,6 +4540,24 @@ (define-public texlive-mathfixs
 capital Greek letters.  It also adds some related macros.")
     (license license:lppl1.3+)))
 
+(define-public texlive-mathlig
+  (package
+    (name "texlive-mathlig")
+    (version (number->string %texlive-revision))
+    (source (texlive-origin
+             name version
+             (list "tex/generic/mathlig/")
+             (base32
+              "0pyaqwr2h9knxf1axi55vm6wr9xj15d5j5pagb2011k3b830f91b")))
+    (build-system texlive-build-system)
+    (home-page "https://ctan.org/pkg/mathlig")
+    (synopsis "Define maths ligatures")
+    (description
+     "The package defines character sequences that behave like ligatures, in
+maths mode.")
+    ;; The license is basically CC-BY.
+    (license (license:fsf-free "file://tex/generic/mathlig/mathlig.tex"))))
+
 (define-public texlive-bibtex8
   (package
     (name "texlive-bibtex8")