Menu
CTAN
Comprehensive TeX Archive Network
Cover Upload Browse Search

Direc­tory tex-archive/macros/latex/contrib/perfectcut

perfectcut.sty

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.


Release notes:

  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
http://www.pps.univ-paris-diderot.fr/~munch/


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:
   http://www.latex-project.org/lppl.txt
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.tex" and
the derived files.

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


Files

Name Size Date Notes
README 1759 2014-02-02 15:39
perfectcut.pdf 97135 2014-02-02 15:47
perfectcut.sty 12596 2014-02-02 15:44
perfectcut.tex 10449 2014-02-02 15:41

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

per­fect­cut – Brack­ets whose size ad­justs to the nest­ing

The pack­age de­fines the com­mand \per­fect­cut#1#2 which dis­plays a bracket <#1||#2>. Its ef­fect is to de­ter­mine the size of the bracket de­pend­ing on the num­ber of nested \per­fect­cut (re­gard­less of the con­tents). The com­mand is in­tended for use:

  • In proof the­ory, for term no­ta­tions of se­quent cal­cu­lus,
  • In com­puter sci­ence, for the mod­el­ing of ab­stract ma­chines.
The pack­age also of­fers a reim­ple­men­ta­tion of \big, \bigg, etc., into ar­bi­trary-size vari­ants.

Pack­age De­tailsper­fect­cut
Ver­sion1.9
Li­censeThe LaTeX Project Public Li­cense 1.3
Main­tainerGuil­laume Munch-Maccagnoni
Con­tained inTeXlive as per­fect­cut
MikTeX as per­fect­cut
Topics type­set the­o­ret­i­cal com­puter sci­ence ma­te­rial
Guest Book Sitemap Contact