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.
The author is Antoine Lejay. The package is Copyright © 2008 Antoine Lejay.
License: lppl Version: 1.0 Catalogued: 2014-02-26