Formal conventionsFormal conventionsThis page lists conventions that are assumed here throughout this library.000 is a natural number.