CTAN Comprehensive TeX Archive Network

New on CTAN: per­fect­cut

Date: Fe­bru­ary 4, 2014 10:28:17 AM CET
the dae­mon re­ported: > Name of con­tri­bu­tion: per­fect­cut > Author's name: Guil­laume Munch-Maccagnoni > Pack­age ver­sion: 1.9 > Lo­ca­tion on CTAN: macros/la­tex/con­trib/per­fect­cut > Sum­mary de­scrip­tion: Brack­ets whose size ad­justs to the nest­ing > Li­cense type: lppl > > An­nounce­ment text given by the pack­age's con­trib­u­tor: > ---------------------------------------------------------------------- > This 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). It 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. > > This pack­age also of­fers a reim­ple­men­ta­tion of \big, \bigg, etc. into > ar­bi­trary-size vari­ants. > ---------------------------------------------------------------------- > > An­nounce­ment re­quired: Yes > > Users may view the pack­age cat­a­logue en­try at > http://www.ctan.org/pkg/per­fect­cut > or they may browse the pack­age di­rec­tory at > http://mir­ror.ctan.org/macros/la­tex/con­trib/per­fect­cut/ thanks for the up­load; i've in­stalled the new pack­age, and made an en­try for it in the cat­a­logue repos­i­tory. Robin Fair­bairns For the CTAN team

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.

Main­tainerGuil­laume Munch-Maccagnoni



Guest Book Sitemap Contact Contact Author