constants
Automatic numbering of constants.
- Version:
- Copyright:
- License:
- Packaged on:
- 04/02/2008 15:57:12
- Number of files:
- 5
- Size on disk:
- 56.62 kB
The package provides a way to number constants in a mathematical proof automatically, with a system for labelling/referencing. In addition, several families of constants (with different symbols) may be defined.