factorial

of: a non-negative integer,

is denoted: by

is defined: as for and as for

   [M1.7]

Copyright 1997, The Open University