From 06cda1cb79acdf548d94297340d6811d85bae79e Mon Sep 17 00:00:00 2001 From: Nicolas Goaziou Date: Sun, 30 Jul 2023 16:38:45 +0200 Subject: [PATCH] gnu: Add texlive-perfectcut. * gnu/packages/tex.scm (texlive-perfectcut): New variable. --- gnu/packages/tex.scm | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/gnu/packages/tex.scm b/gnu/packages/tex.scm index 044b01ed56..33cee1e3d1 100644 --- a/gnu/packages/tex.scm +++ b/gnu/packages/tex.scm @@ -5348,6 +5348,35 @@ (define-public texlive-pascaltriangle @code{\\pascalset} macro.") (license license:lppl1.3c))) +(define-public texlive-perfectcut + (package + (name "texlive-perfectcut") + (version (number->string %texlive-revision)) + (source (texlive-origin + name version + (list "doc/latex/perfectcut/" + "tex/latex/perfectcut/") + (base32 + "13lclcf5aynbivhlsgnssi36dgacmyjl3rmr0i8s3az5941bsyfh"))) + (outputs '("out" "doc")) + (build-system texlive-build-system) + (home-page "https://ctan.org/pkg/perfectcut") + (synopsis + "Nested delimiters that consistently grow regardless of the contents") + (description + "This package defines the command @code{\\perfectcut#1#2} which displays +a bracket @samp{<#1||#2>}. Various other delimiters are similarly +defined (parentheses, square brackets ...). The effect of these commands is +to let the delimiters grow according to the number of nested +@code{\\perfectcommands} (regardless of the size of the contents). + +The package was originally intended for solving a notational issue for +direct-style continuation calculi in proof theory. For general use, the +package also defines commands for defining other sorts of delimiters which +will behave in the same way. The package also offers a robust +reimplementation of @code{\\big}, @code{\\bigg}, etc.") + (license license:lppl1.3+))) + (define-public texlive-bibtex8 (package (name "texlive-bibtex8")