The Roman coefficient is a generalization of the binomial coefficient whose notation was suggested by Knuth,
(1)
|
where is a Roman factorial. The above expression is read "Roman choose ." Whenever the binomial coefficient is defined (i.e., or ), the Roman coefficient agrees with it. However, the Roman coefficients are defined for values for which the binomial coefficients are not, e.g.,
(2)
| |||
(3)
|
where
(4)
|
The Roman coefficients also satisfy properties like those of the binomial coefficient,
(5)
|
(6)
|
an analog of Pascal's formula
(7)
|
and a curious rotation/reflection law due to Knuth
(8)
|
(Roman 1992).