flagderiv – Flag style derivation package
The flagderiv package is used to create mathematical derivations using the flag/flagpole notation. The package features an intuitive command syntax, opening and closing multiple flagpoles, different comment styles, customizable symbols and label namespaces.
|Licenses||GNU General Public License|
|Maintainer||Paul van Tilburg|
|Contained in||TeX Live as flagderiv|
MiKTeX as flagderiv
Download the contents of this package in one zip archive (194.4k).
Maybe you are interested in the following packages as well.
- bropd: Simplified brackets and differentials in LaTeX
- boldtensors: Bold latin and greek characters through simple prefix characters
- conteq: Typeset multiline continued equalities
- lplfitch: Fitch-style natural deduction proofs