. "+) formal power series" . "+) formal power series" . .