perfectcut – Brackets whose size adjusts to the nesting
The 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). The command is intended for use:
- In proof theory, for term notations of sequent calculus,
- In computer science, for the modeling of abstract machines.
|License||The LaTeX Project Public License 1.3|
|Contained in||TeXLive as perfectcut|
|MiKTeX as perfectcut|
typeset theoretical computer science material|
Download the contents of this package in one zip archive (100.5k).