New on CTAN: perfectcut
Date: February 4, 2014 10:28:17 AM CET
the daemon reported:
> Name of contribution: perfectcut
> Author's name: Guillaume Munch-Maccagnoni
> Package version: 1.9
> Location on CTAN: macros/latex/contrib/perfectcut
> Summary description: Brackets whose size adjusts to the nesting
> License type: lppl
>
> Announcement text given by the package's contributor:
> ----------------------------------------------------------------------
> This package defines the command \perfectcut#1#2 which displays a
> bracket <#1||#2>. Its effect is to determine the size of the bracket
> depending on the number of nested \perfectcut (regardless of the
> contents). It is intended for use:
> - In proof theory, for term notations of sequent calculus,
> - In computer science, for the modeling of abstract machines.
>
> This package also offers a reimplementation of \big, \bigg, etc. into
> arbitrary-size variants.
> ----------------------------------------------------------------------
>
> Announcement required: Yes
>
> Users may view the package catalogue entry at
>
http://www.ctan.org/pkg/perfectcut
> or they may browse the package directory at
>
http://mirror.ctan.org/macros/latex/contrib/perfectcut/
thanks for the upload; i've installed the new package, and made an entry
for it in the catalogue repository.
Robin Fairbairns
For the CTAN team
perfectcut – Nested delimiters that consistently grow regardless of the contents
This package defines the command \perfectcut#1#2
which displays a bracket <#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 \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
(see example in the documentation). The package also offers a
robust reimplementation of \big, \bigg, etc.
Announcements
more