Right now, the tag wiki and excerpt of hypergeometric-function refer specifically to the Gaussian hypergeometric function $_2F_1(a,b;c;z)$, functions of the form $$ _2F_1(a,b;c;z) = \sum_{n=0}^{\infty}\frac{(a)_n (b)_n}{(c)_n n!}z^n, $$where $(a)_n= a\cdot (a+1)\cdot\ldots \cdot (a+n-1)$ is the Pochhammer symbol. This function is ubiquitous and important: the Maclaurin series of many elementary functions can be expressed this way, and the $_2F_1$ function is central in the theory of ODEs. It is a very active and interesting tag on the main site showcasing creative and technical work from many users and I hope it will remain so.
However, the $_2F_1$ function is a special case in a family of similar functions $_p F_q$ that admit $p$ and $q$ Pochhammer parameters in the numerator/denominator, respectively. These functions appear naturally in the study of log integrals and multiple zeta functions, or MZVs; examples can be found here, here, and here. The problem is that, strictly speaking, their usage is not covered by the current tag. This is relevant because identities and simplifications for these functions depend heavily on the number of parameters, and may not extend from $_2F_1$ to the general case.
I propose two options to rectify this problem:
- Expand the excerpt and wiki of the current tag to include the general case.
- Create a new tag or possibly rename the current one to emphasize it is a (valid) special case.
