非交换变量中的对称函数