Pochhammer_symbol