CTAN Comprehensive TeX Archive Network

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.

MaintainerGuillaume Munch-Maccagnoni



Guest Book Sitemap Contact Contact Author