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 – De­lim­iters whose size ad­justs to the nest­ing

This pack­age de­fines the com­mand \per­fect­cut#1#2 which dis­plays a bracket <#1||#2>. Var­i­ous de­lim­iters are sim­i­larly de­fined. 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 is orig­i­nally in­tended for solv­ing a no­ta­tional is­sue re­gard­ing the rep­re­sen­ta­tion of ab­stract-ma­chine-like cal­culi in proof the­ory and com­puter sci­ence. For gen­eral use, the pack­age also de­fines com­mands for defin­ing cus­tom de­lim­iters that be­have in the same way.

This pack­age also of­fers a sound reim­ple­men­ta­tion of \big, \bigg, etc.

Pack­ageper­fect­cut
Ver­sion2.2 2017-04-22
Main­tainer Guil­laume Munch-Maccagnoni

An­nounce­ments

more

Guest Book Sitemap Contact Contact Author