Settings Help
CTAN
Comprehensive TeX Archive Network
Home Upload Browse

perfectcut – Brackets whose size adjusts to the nesting

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.

Sources/macros/latex/contrib/perfectcut
Doc­u­men­ta­tion
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

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

Guest Book Sitemap Contact 2014-04-21 04:01 CEST