beta\argument
The \argument command generates argumentation sentences automatically. It unifies most of the commands below.
betaeqn
The eqn environment provides an equation environment with some convenience functions.
\cfload, \cfout, and related
commands
Automatic referencing of definitions
\nobs and \Nobs
Alternating note and observe
\Moreover
Cycling through Moreover, Furthermore, In addition, and Next
\hence and \Hence
Alternating hence and therefore
\proves and \prove
Cycling through proves, shows, implies, ensures,
demonstrates, and establishes
athm and aproof
Convenient theorem and proof environments
\llabel and \lref
Local labels
\enum
Automatic commas and and in enumerations