In the notation of combinatorialists, which conflicts with that used in the theory of special functions, the Pochhammer symbol denotes the falling factorial:
Mahler's theorem says that if f is a continuous p-adic-valued function of a p-adic variable, then the analogy goes further:
It is a fact of algebra that if f is a polynomial function with coefficients in any specified field, the same identity holds.