CTAN Comprehensive TeX Archive Network

Direc­tory macros/latex/contrib/perfectcut

perfectcut.sty --- Nested delimiters that consistently grow regardless
of the contents.

This package defines the command \perfectcut#1#2 which displays a
bracket <#1||#2>. Various delimiters are similarly defined. The effect
of these commands is to let the delimiters grow according to the number
of nested \perfectcommands (regardless of the size of the contents).

The package is originally intended for solving a notational issue
regarding the representation of abstract-machine-like calculi in proof
theory and computer science. For general use, the package also defines
commands for defining custom delimiters that behave in the same way.

This package also offers a sound reimplementation of \big, \bigg, etc.

Release notes:

  2.3 07/17: * When using scalerel, only use \ThisStyle for the outermost
               command due to performance issues.
  2.2 04/17: * By default, use the scalerel package instead of the mathstyle
               package to compute the nested mathstyle.
             * The option nomathstyle and the command \cutstyle are
             * The option mathstyle is introduced, to use when scalerel is
               too slow.
  2.1 06/15: * the spacing inside cases can be contolled with \cutcasebarskip
             * corrected a bug where vertical bars would shrink horizontally
             * corrected the spacing of middle delimiters
  2.0 11/14: * The package now offers general-purpose commands for
               defining arbitrary nested delimiters that consistently
               grow regardless of the contents (\perfectunary and
             * Added the behaviours CurrentHeight and
               CurrentHeightPlusOne alongside the existing behaviour
             * Added the stock commands \perfectcase, \perfectparens,
               and \perfectbrackets intended for use in the context
               of abstract-machine-like calculi.
 1.9b 05/14: added the option fixxits to fix vertical alignment with the
             XITS math font.
  1.9 02/14: added \perfectcut,\perfectbra,\perfectket; fixed bug with graphicx
             not being included; publication on CTAN.
  1.8 01/14: added documentation (no new feature).
  1.7 11/13: added \cutangleouterskip.
  1.6 10/13: new commands \cutbraprimitive and \cutketprimitive.
  1.5 09/13: possible to disable mathstyle (option nomathstyle, see
             the warning below).
  1.4 08/13: possible to choose between \vert\vert and \Vert (option realVert)
             (\cutinterbarskip is used only with the former).
  1.3 08/13: fixes the alignment of angles with the math axis.
  1.2 06/13: first public release.

Author: Guillaume Munch-Maccagnoni

This work may be distributed and/or modified under the conditions of
the LaTeX Project Public License, either version 1.3 of this license
or (at your option) any later version.
The latest version of this license is in:
and version 1.3 or later is part of all distributions of LaTeX version
2005/12/01 or later.

The work consists in the files "perfectcut.sty", "perfectcut.lyx",
"perfectcut.tex", and the derived files.

This work has the LPPL maintenance status `maintained'.
The Current Maintainer of this work is Guillaume Munch-Maccagnoni.

Down­load the con­tents of this pack­age in one zip archive (167.5k).

per­fect­cut – Nested de­lim­iters that con­sis­tently grow re­gard­less of the con­tents

This pack­age de­fines the com­mand \per­fect­cut#1#2 which dis­plays a bracket <#1||#2>. Var­i­ous other de­lim­iters are sim­i­larly de­fined (paren­the­ses, square brack­ets ...). The ef­fect of these com­mands is to let the de­lim­iters grow ac­cord­ing to the num­ber of nested \per­fect­com­mands (re­gard­less of the size of the con­tents).

The pack­age was orig­i­nally in­tended for solv­ing a no­ta­tional is­sue for di­rect-style con­tin­u­a­tion cal­culi in proof the­ory. For gen­eral use, the pack­age also de­fines com­mands for defin­ing other sorts of de­lim­iters which will be­have in the same way (see ex­am­ple in the doc­u­men­ta­tion). The pack­age also of­fers a ro­bust reim­ple­men­ta­tion of \big, \bigg, etc.

Home pagehttps://git­lab.com/gadmm/per­fect­cut
Bug trackerhttps://git­lab.com/gadmm/per­fect­cut/is­sues
Li­censesThe Project Public Li­cense 1.3
Main­tainerGuil­laume Munch-Maccagnoni
Con­tained inTeX Live as per­fect­cut
MiKTeX as per­fect­cut
Com­puter the­ory
Paren­the­ses man­age­ment
Guest Book Sitemap Contact Contact Author